HASH(0x7f5d00a172b0)