function write_fecha_hora() {
  if (document.all) {
    document.all.lafecha.innerHTML = get_fecha();
  } else {
    if (document.getElementById) {
      document.getElementById("lafecha").innerHTML = get_fecha();
    };
  };

  var hr = get_hora();
  hr = hr.slice(0,8);

  if (document.all) {
    document.all.lahora.innerHTML = hr;
  } else {
    if (document.getElementById) {
      document.getElementById("lahora").innerHTML = hr;
    };
  };
};

if (document.all || document.getElementById) {
  setInterval("write_fecha_hora()",2000)
};