var _____WB$wombat$assign$function_____ = function(name) {return (self._wb_wombat && self._wb_wombat.local_init && self._wb_wombat.local_init(name)) || self[name]; };
if (!self.__WB_pmw) { self.__WB_pmw = function(obj) { this.__WB_source = obj; return this; } }
{
  let window = _____WB$wombat$assign$function_____("window");
  let self = _____WB$wombat$assign$function_____("self");
  let document = _____WB$wombat$assign$function_____("document");
  let location = _____WB$wombat$assign$function_____("location");
  let top = _____WB$wombat$assign$function_____("top");
  let parent = _____WB$wombat$assign$function_____("parent");
  let frames = _____WB$wombat$assign$function_____("frames");
  let opener = _____WB$wombat$assign$function_____("opener");

var getServerTime = (function() {
	// calcolo immediatamente la differenza di tempo tra client e server, senza aspettare il caricamento della pagina, per avere il valore piu' accurato possibile.
	// la funzione restituira' direttamente l'oggetto Date con la data e ora del server.
	var localTime = new Date();
	var ServerDate = '2014/09/03';
	var ServerTime = '00:44:52';
	
	var serverDateTime = new Date(ServerDate);
	var hh = ServerTime.match(/([0-9]{2}):([0-9]{2}):([0-9]{2})/);
	var mm = hh[2];
	var ss = hh[3];
	hh = hh[1];
	serverDateTime.setHours(hh);
	serverDateTime.setMinutes(mm);
	serverDateTime.setSeconds(ss);
	
	// add clientOffsetMillis to local time to get server time
	clientOffsetMillis = serverDateTime - localTime;
	
	return function () {
		var d = new Date();
		d.setTime(d.getTime() + clientOffsetMillis);
		return d;
	}
})();
var serverDate = {getServerTime: getServerTime};

}
/*
     FILE ARCHIVED ON 22:44:52 Sep 02, 2014 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 06:49:08 May 02, 2024.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.931
  exclusion.robots: 0.113
  exclusion.robots.policy: 0.1
  cdx.remote: 0.08
  esindex: 0.011
  LoadShardBlock: 113.105 (3)
  PetaboxLoader3.datanode: 169.095 (4)
  PetaboxLoader3.resolve: 60.096 (2)
  load_resource: 133.922
*/