HASH(0x7f5cd0ff93c0)