HASH(0x7fedfe57ba58)