//change class name on mouse in/out
function cth( idname, changeto ){
	var element = document.getElementById(idname);
	if (element && element != 'undefined')
		element.className = changeto;
}

onload=function()
{
	var piex = 'px';
	var innerHeight = document.getElementById('inner-table').offsetHeight + 6;
	document.getElementById('left-table').style.height = innerHeight + piex;
	document.getElementById('right-table').style.height = innerHeight + piex;
	document.getElementById('push-contr').style.height += (innerHeight + 44 + 12 + 10) + piex;
}