document.write('0994\n');