HASH(0x7fedda6d7a78)