function calctime() {
  // Get current date and time
  var currenttime = new Date();

  // Extract time vars
  var hours = currenttime.getHours();
  var minutes = currenttime.getMinutes();
  var seconds = currenttime.getSeconds();

  // Add leading zero
  if (hours < 10) {
    hours = "0" + hours;
  }
  if (minutes < 10) {
    minutes = "0" + minutes;
  }
  if (seconds < 10) {
   seconds = "0" + seconds;
  }

  // Get target for clock and fill element
  var clocklocation = document.getElementById('clock_placeholder');
  clocklocation.innerHTML = hours + ":" + minutes;
  setTimeout("calctime()", 1000);

  // Create a date and time for the HTML title
  var month = currenttime.getMonth();
  var day = currenttime.getDate();
  var year = currenttime.getFullYear();
  var m_names = new Array("januari", "februari", "maart", "april", "mei", "juni", "juli", "augustus", "september", "oktober", "november", "december");

  // Unescaped values are HEX values for HTML entities
  // %A0 is a space
  // %B7 is an interpunct
  // const doctitle = document.title;
  document.title = day + " " + (m_names[month]) + " " + year + unescape("%A0%B7%A0") + hours + ":" + minutes;
}
calctime();