document.write('6.412');