function r4runclock(){
 if (!document.all&&!document.getElementById) return
 r4elem=document.getElementById? document.getElementById("r4clock"): document.all.r4clock
 var r4datew=new Date()
 var txMes=new Array("Ene","Feb","Mar","Abr","May","Jun","Jul","Ago","Set","Oct","Nov","Dic")
 mesx = txMes[r4datew.getMonth()]
 var dia=r4datew.getDate();if (dia<=9) dia="0"+dia
 var mes=(r4datew.getMonth()+1);if (mes<=9) mes="0"+mes;
 var ano=r4datew.getFullYear()
 var hora=r4datew.getHours()
 var min=r4datew.getMinutes();if (min<=9) min="0"+min
 var seg=r4datew.getSeconds();if (seg<=9) seg="0"+seg
 var r4clockw=dia+"/"+mesx+"/"+ano+" "+hora+":"+min+":"+seg
 r4elem.innerHTML=r4clockw
 setTimeout("r4runclock()",1000) }
 window.onload=r4runclock