HASH(0x7fa99c5bc220)