// JavaScript Document


function div_height_check() {
	// Browser Specific
	
	//var x=document.getElementById("test2").offsetHeight ;
	
	// Not Browser Specific
	var x=document.getElementById("main_content").clientHeight ;
	if(x > 700) {
	 document.getElementById("to_top").style.display = 'block';
	}
	else {
	 document.getElementById("to_top").style.display = 'none';
	 document.getElementById("alternate_top_div").style.display = 'block';
	}
}