HASH(0x7f5d06bb08d0)