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