document.write('3219\n');