document.write('14    .    5');