HASH(0x7fedca5a7f78)