function showLayer(whichLayer) {document.getElementById(whichLayer).style.display ="block";}
function hideLayer(whichLayer) {document.getElementById(whichLayer).style.display ="none";}
function add_bookmark(url, title){if (document.all && document.all.item && !window.opera) window.external.AddFavorite(url, title);return false;}