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