HASH(0x7f5d07af1b78)