// JavaScript Document
hidediv();
function hidediv(){
	
	
	
	document.getElementById("htmlinfo").style.display="none";
}