function hover_ul(obj_id) {
	obj=document.getElementById(obj_id);
	obj.style.textDecoration="underline";
	obj.style.color="#00CC33";
}
function unhover_ul(obj_id) {
	obj=document.getElementById(obj_id);
	obj.style.textDecoration="";
	obj.style.color="";
}