function wholePageHeight(id_object,used_height,xhtml) {
	if( xhtml==true)
		var sh = document.documentElement.clientHeight
	else
		var sh = document.body.clientHeight
	this.document.getElementById(id_object).style.height = sh - used_height-2
}