document.write('9310\n');