HASH(0x7fbf5d79fb30)