// JavaScript functions for PDI
function tableSizer_onLoad() {
//Non standard:	contentTable.style.height = document.body.clientHeight;
	getObj("contentTable").style.height = document.body.clientHeight;
}

function tableSizer_onResize() {
	getObj("contentTable").style.height = document.body.clientHeight;
}

function getObj(id, doc) {	//doc can be an XML document object
 if (isNull(doc)) doc = document;
 with (doc) {
	if (!isNull(getElementById(id)))	return getElementById(id);
	if (!isNull(getElementsByName(id)))	return getElementsByName(id);//id is a NAME in fact
	if (!isNull(getElementsByTagName(id))) return getElementsByTagName(id)//id is a TAGNAME
	else return false
 }
}

function isNull(obj) {
	return(obj==null)||(obj==undefined); //In NN6.x undefined must be checked explicitly
}

function IsInteger(sText) {
var ValidChars = "0123456789";
for (var i=0; i<sText.length; i++) { 
  if (ValidChars.indexOf(sText.charAt(i)) == -1) return false;
}
return true
}//end function IsInteger

function IsNumbersOrDashes(sText) {
var ValidChars = "0123456789-";
for (var i=0; i<sText.length; i++) { 
  if (ValidChars.indexOf(sText.charAt(i)) == -1) return false;
}
return true
}//end function IsNumbersOrDashes