document.write('0244\n');