function display(elmID){
	var elmID;
		if(document.getElementById(elmID).style.display != "none"){
			document.getElementById(elmID).style.display="none";
		}else{
			document.getElementById(elmID).style.display="block";
		} 
}

function main_content_width(foo){
	var foo;
	if(foo == "")
		foo = "743px";
	document.getElementById('main_content').style.width = foo;

}