function menuOver(menu){document.getElementById(menu).style.visibility='visible';}
function menuOut(menu){document.getElementById(menu).style.visibility='hidden';}
function addbookmark(argVal)
{
var bookData = new Array();
bookData = argVal.split("|");
if (document.all)
window.external.AddFavorite(bookData[0], bookData[1]);
else
alert("Sorry. Netscape users must bookmark the pages manually by hitting <Ctrl-D>");
}