document.write('0247\n');