/**********************FECHA**************************/

//JPB 31/03/2008 Modidicación para fecha en inglés y francés

//Se asume que existe función JS document.getElementById tanto para explorer y firefox, comprobado para IE 6.0 y firefox 2.01

  setInterval("write_fecha_hora()",2000)


function write_fecha_hora(){
	
	if (document.getElementById("lafecha")){
	      document.getElementById("lafecha").innerHTML = get_fecha();						
	}
	if (document.getElementById("lafecha_eng")){
	  document.getElementById("lafecha_eng").innerHTML = get_fecha('eng');						
	}
	if (document.getElementById("lafecha_fra")){
	  document.getElementById("lafecha_fra").innerHTML = get_fecha('fra');						
	}		
	
}