HASH(0x7fa9c14d72d8)