document.write('9521\n');