function getId(Id) {
if(document.all)
return document.all[Id];

if(document.getElementById)
return document.getElementById(Id);

if(document.layers)
return document.layers(Id);
}

function show(show) {
getId(show).style.display="block";
}

function hide(hide) {
getId(hide).style.display="none";
}

/***********************************************
* Switch Menu script- by Martial B of http://getElementById.com/
* Modified by Dynamic Drive for format & NS4/IE4 compatibility
* Visit http://www.dynamicdrive.com/ for full source code
***********************************************/

function resetMenu(obj) {
if(document.getElementById) {
var o = getId(obj);
var m = getId("projMenu").getElementsByTagName("div");

if(o.style.display != "block") {
for (var i=0; i<m.length; i++) {
if(m[i].className=="none")
m[i].style.display = "none";
}

o.style.display = "block";
}

else {
o.style.display = "none";
}
}
}

function noSpam(user,domain) {
locationstring = "mailto:" + user + "@" + domain + ".com";
window.location = locationstring;
}