HASH(0x7fbf5c531d40)