HASH(0x7f5cc6c2def0)