// JavaScript Document
	winWidth=document.all?document.body.clientWidth-669:window.innerWidth-686;
	mapheight=(winWidth)*0.8;
  document.write ('<div id="map" style="z-index:10; width: ');
 document.write (winWidth);
  document.write ('px; height: ');
  document.write (mapheight);
  document.write ('px"></div>');