function Timer1_onTimer() {
EarthImage.nextImage();
 }
function _Timer1_onTimer() { if (Timer1) return Timer1.onTimer(); }
function NavigationList__onChange() {
var v = NavigationList.getSelectedValue();
if (v.length > 1) // one char is a noop
  window.location.href = v;
 }
function _NavigationList__onChange() { if (NavigationList) return NavigationList.onChange(); }