function rollover(name, over) {
	if (over) {
		document.images[name].src = "_pool/pix/" + name + "_over.gif";		
	}
	else {
		document.images[name].src = "_pool/pix/" + name + "_norm.gif";		
	}
}
function efocus(element)
{
	var e = document.getElementById(element);
	if(e!=null)
		e.focus();
}