HASH(0x7f5cd8be7b28)