0x7f...12DD