HASH(0x7f5ce8fbb0d0)