HASH(0x7fa9c15d7700)