function tableSize() {
	var winHeight;
	str = navigator.appName.toUpperCase();

	if(str.indexOf("EXPLORER") >= 0) {
		winHeight = document.body.clientHeight;
	}

	else if(str.indexOf("NETSCAPE") >= 0) {
		winHeight = innerHeight;
	}

	mainTable.style.height = winHeight - 350;
}



function tableSize2() {
	var winHeight;
	str = navigator.appName.toUpperCase();

	if(str.indexOf("EXPLORER") >= 0) {
		winHeight = document.body.clientHeight;
	}

	else if(str.indexOf("NETSCAPE") >= 0) {
		winHeight = innerHeight;
	}

	mainTable.style.height = winHeight - 103;
}