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