/*
 *	General functions
 */


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