document.write('15.40');