HASH(0x7f5ce9efc0d0)