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