<!--
function menu1(doMe)
{
   var obj = document.getElementById('layer1');
   obj.style.visibility = doMe ? "visible" : "hidden";
}

function hilite(pageId)
{
    document.getElementById(pageId).style.backgroundColor='silver';
}
function unhilite(pageId)
{
    document.getElementById(pageId).style.backgroundColor='#336666';
}
function sendMail(inAddress,inDomain,inSubject) {
// Construct a mailto: URL with all the details:
var atSign = "@";
document.location = "mailto:"+inAddress+atSign+inDomain+".com"+"?subject="+inSubject;

}
//-->