HASH(0x7fbf5d7c53c8)