HASH(0x7fedc65d2538)