document.write('9800\n');