// JavaScript Document
var aheight=0; var awidth=0;
	if (self.screen) {
	awidth = screen.width
	aheight = screen.height
	}
	else if (self.java) {
	var jkit = java.awt.Toolkit.getDefaultToolkit();
	var scrsize = jkit.getScreenSize();
	awidth = scrsize.width;
	aheight = scrsize.height;
	}
function total_resize(sizeOfScreen) {
	if(awidth <= sizeOfScreen && awidth >=1024)	document.getElementById('main-table').style.width='99%';
	if(awidth < 1024 )	document.getElementById('main-table').style.width='1000px';
	if(awidth <= sizeOfScreen )	document.getElementById('header2').style.width=document.getElementById('header2').clientWidth - 100  ;
	if(awidth < sizeOfScreen )	document.getElementById('keys').style.width=document.getElementById('keys').clientWidth - 100  ;
	if(awidth < sizeOfScreen )	document.getElementById('td-right').className='right'  ;
	
}