<!--

function set_hover(r,y) {
	document.all(r).style.backgroundColor="#EFEFEF";
	document.all(y).style.backgroundColor="#EFEFEF";
}
function get_hover(r,y) {
	document.all(r).style.backgroundColor="#FFFFFF";
	document.all(y).style.backgroundColor="#FFFFFF";
}
//-->