function $(i){
	return document.getElementById(i);
}

function loadEvent(){
	var div = $('body');
	var page = $('page');
	var main = $('main');
	var height = main.offsetHeight;
	div.style.height = page.style.height = height + 'px';
}

function map(){
	window.open("map.php", "Directions", config="height=390, width=570, toolbar=no, menubar=no, scrollbars=yes, resizable=no, location=no, directories=no, status=no");
}