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