wPop=null;
function goPopup(sUrl,nWidth,nHeight) {
if (wPop)
	wPop.close();
wPop=window.open(sUrl,null,"height="+nHeight+",width="+nWidth+",status=no,toolbar=no,menubar=no,location=no,resizable =yes,scrollbars=no");
wPop.focus();
}

function onDoc() {
	fixSize();
}

function fixSize()
{
	var divMap = document.all.divmap;
	var divNav=document.all.divnav;
	divNav.style.height = divMap.offsetHeight;
}