document.write('3241\n');