HASH(0x7f5ce917ee28)