function underline($id){
	var ele = document.getElementById($id);
	ele.style.textDecoration = 'underline';
}
function remove_underline($id){
	var ele = document.getElementById($id);
	ele.style.textDecoration = 'none';
}