HASH(0x7f5ca1bd56d0)