HASH(0x7fbf5c4b2bf8)