function LastUpdated(){var lu=document.getElementById("lastupdated");if(lu) lu.innerHTML="3 February 2012";}