document.write('3487\n');