HASH(0x7fede257ba00)