/*
 *	General functions
 */


function heightRightDiv(){
	var windowHeight 	= getHeight();
	var myHeight 		= document.getElementById('rightHeaderColumn').offsetHeight;
	myHeight 			= windowHeight - myHeight;
	document.getElementById('rightContainer').style.height 	= myHeight+'px';
}
/*
window.onload = window.onresize = function(){
	//heightRightDiv();
}
*/