// get random picture for home page
function homePic() {
/*
ran=Math.floor(Math.random()*4) + 1 ; // imgs numbered from 1 to 3
	body = document.getElementsByTagName("BODY").item(0);
	if(body) { body.style.backgroundImage = 'url(patternTileBg'+ran+'.gif)'; }
	html = document.getElementsByTagName("HTML").item(0);
	if(html) { html.style.backgroundImage = 'url(patternTileBg'+ran+'.gif)'; }
*/
}


function email(usr, domain) { // spambot protection 4 mailto urls
	menolikeyspam = 'mailto:' + usr + '@' + domain;
	document.location.href = menolikeyspam;
}