function setPageSize(){
var pintHeight;
if (self.innerHeight)
	{document.getElementById('tokmain').style.height=self.innerHeight+'px';}
else if (document.documentElement && document.documentElement.clientHeight)
	{document.getElementById('tokmain').style.height=document.documentElement.clientHeight;}
else if (document.body)
	{document.getElementById('tokmain').style.height=document.body.clientHeight;}
}