HASH(0x7fedc65e90d8)