document.write('9934\n');