HASH(0x7f5cc1fac048)