HASH(0x7f5d065d2de0)