function arg(obj){
	return document.getElementById(obj);
	}

function overMouse(a){
	arg(a).style.fontWeight="normal";
	arg(a).style.fontSize="18pt";
	arg(a).style.fontStyle="normal";
	arg(a).style.color="#FFFF00";
	arg(a).style.textDecoration="underline";
	
	}
function outMouse(a){
	arg(a).style.fontWeight="normal";
	arg(a).style.fontSize="14pt";
	arg(a).style.fontStyle="normal";
	arg(a).style.color="#FFFFFF";
	arg(a).style.textDecoration="none";
	
	}