HASH(0x7f5cac23c3b8)