function paginationKey(obj,e)
{
	var key ;
	if (window.event)
		key = event.keyCode;
	else
		key = e.which;

	if ( key > 47 && key < 58 || key == 8 || key ==0)
		return; // if so, do nothing
	else // otherwise, discard character

	if (window.event) //IE
		window.event.returnValue = null;     
	else //Firefox
		e.preventDefault();
}

function getHTMLContents(url, divId){
	var client = null;
	if(window.XMLHttpRequest && !(window.ActiveXObject)) {
		client=new XMLHttpRequest();
	}else{
		client = new ActiveXObject("Microsoft.XMLHTTP");
	}
	client.open("GET", url);
	client.onreadystatechange = function(){
		if(client.readyState==4 && client.status==200){
			document.getElementById(divId).innerHTML=client.responseText;
		}
	};
	client.send("");
}