function topnav()
{
document.write('\<!-- this is the topnav thing. topnav items =\'8 \'    href=\"9a0000\" --\>');
}