document.write('0986\n');