myWin = null;

function openWin(x,y,url)
{
  var width      = x;
  var height     = y;
  var page       = url.toString();
  var options    = "resizable=1,width="+width.toString();
      options   += ",height="+height.toString();
  var leftborder = Math.ceil((screen.availWidth-width)/2);
  var topborder  = Math.ceil((screen.availHeight-height)/2);
      options   += ",left="+leftborder.toString();
      options   += ",top="+topborder.toString();
      options   += ",scrollbars=1";

  myWin = window.open(page,"myWin",options);
  myWin.focus();
}


function closeWin()
{
  if (myWin != null)
    if (!myWin.closed)
      myWin.close();
}

var timediff = 0;
function timedisplay()
{
  var curtime = new Date();
  curtime.setTime(curtime.getTime() + timediff);
  document.getElementById('stime').innerText=
//  window.status =
    curtime.toLocaleString();
}
function timeinit(servertime)
{
  clienttime = new Date();
  var a = clienttime.getTime();
  timediff = servertime-a;
  timedisplay();
  window.setInterval('timedisplay()', 1000);
}
function intval(string)
{
  var i, c, v=0;
  for (i=0; i<string.length; i++)
  {
    c = string.substr(i, 1);
    if ('0'>c || '9'<c)
      break;
    v = v*10 + parseInt(c);
  }
  return v;
}