document.write('12.7');