HASH(0x7f7a80588e28)