function setPageSize(pintsize){
var pintHeight;
if (self.innerHeight) // all except Explorer
{
	pintHeight=(self.innerHeight-pintsize);
	document.getElementById('maintable').style.height=pintHeight;
}
else if (document.documentElement && document.documentElement.clientHeight)	// Explorer 6 Strict Mode
{
	pintHeight=(document.documentElement.clientHeight-pintsize);
	document.getElementById('maintable').style.height=pintHeight;
}
else if (document.body) // other Explorers
{
	pintHeight=(document.body.clientHeight-pintsize);
	document.getElementById('maintable').style.height=pintHeight;
}
}