document.write('0249\n');