// A drop-down menu is used to direct the browser to a web resource.
function MM_jumpMenu(targ,selObj,restore){ //v3.0
    eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
    if (restore) selObj.selectedIndex=0;
}

// Send an e-mail without exposing the destination address to spiders.
function noSpam(user,domain) {
    locationstring = "mailto:" + user + "@" + domain;
    window.location = locationstring;
}