HASH(0x76101417bb00)