HASH(0x7f5ce412a4d0)