HASH(0x7f52701dde78)