function getZoomWidth(){
  var zoomwidth;
  zoomwidth="0.0";
  try{
    zoomwidth = document.getElementById('zoomWidthMiles');
	zoomwidth.value;
  } catch(err){alert('getZoomWidth is not available');}
  finally{
    return zoomwidth;
  }
}