function display_ct() {
  document.getElementById('ct').innerHTML = dateFormat(new Date(), "dddd dS mmmm yyyy");
}