document.write('<style type="text/css" media="screen">.pageHeader{height:100%;}</style>');
function headerHeightVariable(){return;}