document.write('14.2');