function jsClockTimeZone()
{
      var TimezoneOffset = 2  // adjust for time zone
      var localTime = new Date()
      var ms = localTime.getTime() 
                 + (localTime.getTimezoneOffset() * 60000)
                 + TimezoneOffset * 3600000
      var time =  new Date(ms) 
      var hour = time.getHours() 
      var minute = time.getMinutes()
      var second = time.getSeconds()
      var temp = "" + ((hour > 12) ? hour - 12 : hour)
      if(hour==0) temp = "12"
      if(temp.length==1) temp = " " + temp
      temp += ((minute < 10) ? ":0" : ":") + minute
      temp += ((second < 10) ? ":0" : ":") + second
      temp += (hour >= 12) ? " PM" : " AM"
      document.getElementById('time_prague').innerHTML = temp
      setTimeout("jsClockTimeZone()",500);
}
jsClockTimeZone();

function jsClock2()
{
      var time = new Date()
      var hour = time.getHours()
      var minute = time.getMinutes()
      var second = time.getSeconds()
      var temp = "" + hour
      if(temp.length==1) temp = " " + temp
      temp += ((minute < 10) ? ":0" : ":") + minute
      temp += ((second < 10) ? ":0" : ":") + second
      document.getElementById('time_actual').innerHTML = temp
      id = setTimeout("jsClock2()",500)
    }
jsClock2();