window.onload = load_locations;
      function load_locations(){
	  setOptions(default);clock();}