function resizeDivs() {
	var D = document;
	pageHeight = Math.max(
	    Math.max(D.body.scrollHeight, D.documentElement.scrollHeight),
	    Math.max(D.body.offsetHeight, D.documentElement.offsetHeight),
	    Math.max(D.body.clientHeight, D.documentElement.clientHeight)
	);
	pageWidth = Math.max(
	    Math.max(D.body.scrollWidth, D.documentElement.scrollWidth),
	    Math.max(D.body.offsetWidth, D.documentElement.offsetWidth),
	    Math.max(D.body.clientWidth, D.documentElement.clientWidth)
	);
	D.getElementById('r').style.width = pageWidth - 560 + 'px'
	rightwidth = document.getElementById('r').offsetWidth
	D.getElementById('map').style.height = pageHeight + 'px'
	D.getElementById('map').style.width = rightwidth - 337 + 'px'
}