HASH(0x7f5ce25f39d8)