HASH(0x7fedda57ea78)