document.write('3    .    5');