document.write('6    .    17');