document.write('6.433');