var ServerDateTime=0;

function GetServerDateTime ()
{
     if (ServerDateTime==0)
          ServerDateTime = 1714215171000;
     return (ServerDateTime);
}