function displayCounter()
 {
 	document.write('<b>4.340</b>') 	
 }