//*****************************************************************************
//
// popmenu.js
//
// This javascript code is the popup menu for the website.
// This code is called from the html code. It is used in conjuction with
// navbar.js.
//
// To change the options from the menu just modify the links in the DIV tags.
//
// The menu style is controlled through CSS.
//
//
//
// Modified by Date
// --------------- ----------------
// Claudia Caballero 09/10/2004
//
//
//*****************************************************************************
function init2(){
document.write(' ');
document.write(' ');
document.write(' ');
document.write('  | ');
document.write('
');
document.write('
');
document.write(' ');
document.write('
');
document.write(' ');
document.write('
');
document.write(' ');
document.write(' ');
document.write(' ');
document.write(' ');
document.write('
');
}