document.write('0241\n');