function underline(id){
	document.getElementById(id).style.textDecoration = "underline";
}

function delUnderline(id){
	document.getElementById(id).style.textDecoration = "none";
}