HASH(0x7f5cea79a2e8)