function contentsHeight() {
if (document.getElementById) {
	if (document.getElementById('maintable').offsetHeight < 400) {
		document.getElementById('maintable').style.height = 400;
	}
}
else if (document.all) {
	if (document.all('maintable').style.pixelHeight < 400) {
		document.all('maintable').style.pixelHeight = 400;
	}
}
}