HASH(0x7f5cea0ea8d8)