document.write('9306\n');