document.write('0245\n');