document.write('9936\n');