function clearText(thefield){if (thefield.defaultValue== thefield.value)	thefield.value = ""} 						
	function insertText(thefield){if ( thefield.value == "" )	thefield.value = thefield.defaultValue} 						
	function resetSize() {
		$('leftcol').setStyle('height', ($('body').getHeight()-2)+'px'); 
	}
window.addEvent('load', function(){
	$('leftcol').setStyle('height', ($('body').getHeight()-2)+'px');
	setInterval('resetSize()', 15000);
});