var monat = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
		var digital = new Date("'.date('M, d Y H:i:s').'");


		    function clock() {
			//if (!document.layers && !document.all) return;
			var time = new Date();
			var hours = time.getHours();
			var minutes = time.getMinutes();
			var seconds = time.getSeconds();
			var m;
			time.setSeconds( seconds+1 );

			if (minutes <= 9) minutes = "0" + minutes;
			if (seconds <= 9) seconds = "0" + seconds;
			m = time.getMonth();
			
			dispTime = monat[m] +" "+time.getDate()+" "+time.getFullYear();
			
			elt = document.getElementById("pendule");
			elt.innerHTML = dispTime;

			setTimeout("clock()", 1000);

		    }