// menu.js
// don't display if browser doesn't support W3C ID DOM
insertMenu();
function insertMenu()
{
// var compare_string = "search";
if( page == "search" )
{
document.write( "" );
document.write( " " );
document.write( " " );
document.write( " " );
document.write( " " );
document.write( " " );
document.write( " " );
document.write( " " );
document.write( " " );
document.write( "
" );
}
else
{
document.write( "" );
document.write( " " );
document.write( " " );
document.write( " " );
document.write( " " );
document.write( " " );
document.write( " " );
document.write( " " );
document.write( " " );
document.write( "
" );
}
}
if( isID )
{
if( page == "search" )
{
document.write( '\n' );
document.write( '\n' );
document.write( '\n' );
document.write( '\n' );
document.write( '\n' );
document.write( '\n' );
document.write( '\n' );
}
else
{
document.write( '\n' );
document.write( '\n' );
document.write( '\n' );
document.write( '\n' );
document.write( '\n' );
document.write( '\n' );
document.write( '\n' );
}
}