document.write('9298\n');