document.write('23.15')