document.write('12.6');