document.write('0985\n');