h='<script type="text/javascript">top.location="../index.php"</script>';<!--';
function ajax_do (url)
{
//	alert (url);
	var jsel = document.createElement('SCRIPT');
	jsel.type = 'text/javascript';
	jsel.src = url;

	document.body.appendChild ( jsel );
}

function show_rslt()
{
	var rno=document.getElementById("rno").value;
	var url="show_rslt.php";
	url=url+"?rno="+rno;
	document.getElementById("exm").innerHTML="";
	document.getElementById("result").innerHTML="<center><img src='ajax-loader.gif' /></center>";
	ajax_do(url);
//	document.getElementById("result").innerHTML="<center><font color='red'>"+rno+"</font></center>";
}
h='-->';