function geth1()
{
	var obj = document.getElementById("end");
	obj.innerHTML = h1_val;
}