//menus;  used on all pages except homepage - item is set on page and 
//changes div class to whatever is specified here
function menu(item1, item2){
// normal menus must be displayed differently to indented menus
	if(document.getElementById(item1).className  == 'menu') {
		document.getElementById(item1).className = 'subActive';
	}
	else {
		document.getElementById(item1).className = 'subActiveIndent';
	}

	document.getElementById(item2).className = 'vis';
}

function mx(username, domain){
 location.href = "mailto:" + username + "@" + domain;
}	

function mailto(username, domain){
 location.href = "mailto:" + username + "@" + domain;
}	


function mxb(username, domain, bccUser, bccDomain){
 location.href = "mailto:" + username + "@" + domain + "?bcc=" + bccUser + "@" + bccDomain;
}

function mailtobcc(username, domain, bccUser, bccDomain){
 location.href = "mailto:" + username + "@" + domain + "?bcc=" + bccUser + "@" + bccDomain;
}