/*
	servertime.php
	Version 2.04 / 2008-10-20
	made by pstrainer@gmx.net
*/
var servertime_created=1328596378000;	// Ladezeit als jts in ms
var servertime_dif=new Date().getTime()-servertime_created;	// Diff. Client-Server in ms
var servertime_tzoh=1;	// Diff. Zonenzeit - UTC in h
var servertime_tzo=3600000;	// Diff. Zonenzeit - UTC in ms
var servertime_tzotxt="+0100";	// String +0h:00
var servertime_dlsh=0; // daylight savings in h
var servertime_dif_loc=servertime_dif-servertime_tzo-new Date().getTimezoneOffset()*60000;

function servertime() {
	return new Date(new Date().getTime()-servertime_dif);
}
function servertime_loc() {
	return new Date(new Date().getTime()-servertime_dif_loc);
}

//---------- eof servertime.php ----------