HASH(0x7fbf5d7bfa80)