HASH(0x7f5c755a4de0)