document.write('1    .    3');