document.write('3271\n');