HASH(0x7fedca5e1c78)