HASH(0x7fedd91eb588)