function page_height( )
{
	var height = document.getElementById( 'main' ).clientHeight;

	for( i = 1; i < 11; i++ )
	{
		if ( isInteger( height / 9 ) )
			break;
		height++;
	}
	document.getElementById( 'main' ).style.height = height + 'px';
}

function isInteger(s) {
return (s.toString().search(/^-?[0-9]+$/) == 0);
}