HASH(0x7fedfc059748)