document.write('0841\n');