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

};

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