document.write('0934\n');