document.write('3496\n');