HASH(0x7fede26da650)