HASH(0x7f5ce06e03b0)