document.write('9942\n');