function MM_openBrWindow(theURL,winName,features) {
  var win = window.open(theURL,winName,features);
  win.focus();
  return false;
}
function scroll(dir) {
  document.mapform.MV.value = dir;
  return true;
}
function scroll2(dir) {
  document.mapform.MV.value = dir;
  document.mapform.submit();
  return false;
}
function setSize(width) {
  document.mapform.w.value = width;
  return true;
}
function setScale(scale) {
  document.mapform.s.value = scale;
  return true;
}
function setInit() {
  document.mapform.INIT.value = 1;
  document.mapform.submit();
  return false;
}
function show_license() {
  return MM_openBrWindow('/map/license.html','license','width=400,height=80,resizable=yes');
}