document.write('0243\n');