document.write('4    .    3');