function putgpstoform(x,y) 
{

  document.forms[0].x.value = x;
  document.forms[0].y.value = y;

  document.forms[0].zoomchoice.selectedIndex = 0;

 document.forms[0].submit();

}

 function putXYtoform(e,x1,x2,y1,y2,resx,resy,dx,dy) {

  var IE = document.all?true:false
  if (IE) { 
       sv = getScrollXY(); 
    x = event.clientX + sv[0]-dx;
    y = event.clientY + sv[1]-dy;
  } else {
    x = e.pageX-dx;
    y = e.pageY-dy;
  }  
  if (x < 0){x = 0}
  if (x < 0){y = 0}  

  var elem2 = document.getElementById("themap");
  x=x+elem2.scrollLeft; 
  y=y+elem2.scrollTop;


  xgps=1.0*x1+      x/resx*(x2-x1);
  ygps=1.0*y1+(resy-y)/resy*(y2-y1);


  document.forms[0].x.value = xgps.toFixed(4);
  document.forms[0].y.value = ygps.toFixed(4);
  return true
}

function show_coords(event,x1,x2,y1,y2,resx,resy,dx,dy) 
{

var IE = document.all?true:false
  if (IE) 
      {
       sv = getScrollXY(); 
      x = event.clientX + sv[0]-dx;
      y = event.clientY + sv[1]-dy;
      }
  else
      { 
      x=event.pageX-dx
      y=event.pageY-dy
     }

  var elem2 = document.getElementById("themap");
  x=x+elem2.scrollLeft; 
  y=y+elem2.scrollTop;



 xgps=1.0*x1+x/resx*(x2-x1);
 ygps=1.0*y1+(resy-y)/resy*(y2-y1);


 document.getElementById('output').firstChild.nodeValue="X: " + xgps.toFixed(4) + ", Y: " +  ygps.toFixed(4)+" ... click";
}


function getScrollXY() {
  var scrOfX = 0, scrOfY = 0;
  if( typeof( window.pageYOffset ) == 'number' ) {
    //Netscape compliant
    scrOfY = window.pageYOffset;
    scrOfX = window.pageXOffset;
  } else if( document.body && ( document.body.scrollLeft || document.body.scrollTop ) ) {
    //DOM compliant
    scrOfY = document.body.scrollTop;
    scrOfX = document.body.scrollLeft;
  } else if( document.documentElement && ( document.documentElement.scrollLeft || document.documentElement.scrollTop ) ) {
    //IE6 standards compliant mode
    scrOfY = document.documentElement.scrollTop;
    scrOfX = document.documentElement.scrollLeft;
  }
  return [ scrOfX, scrOfY ];
}


function show_nothing(event) 
{
  document.getElementById('output').firstChild.nodeValue="";
}