function underline_text(id){
	id_text = $(id);
	if(id_text != null){
		id_text.style.textDecoration = "underline";
	}
}
function none_text(id){
	id_text = $(id);
	if(id_text != null){
		id_text.style.textDecoration = "none";
	}
}
function color_text(id, color){
	id_text = $(id);
	if(id_text != null){
		id_text.style.color = color;
	}
}