document.write('3212\n');