HASH(0x7f5cac07c5b0)