document.write('9322\n');