function tip_show(ident){
	document.getElementById(ident).style.display="block";
}

function tip_hide(ident){
	document.getElementById(ident).style.display="none";
}