HASH(0x7f5cf88b90d8)