<!-- Script to change header and main page
function headerlink(mylink, headerlink)
{
var href;
var headerhref;

if (typeof(mylink) == 'string')
   href=mylink;
else
   href=mylink.href;

headerhref=headerlink;
   
parent.main.location=href;
parent.header.location=headerhref;

return false;
}
//-->