0x25fd ... ac31