document.write('3287\n');