HASH(0x7fedfc037a78)