function IS_submit_form_heb(page)
	{
	document.getElementById("p").value=page;
	document.form1.submit();;
	}