0x25…8c1d