HASH(0x7f5ce28ac7d8)