HASH(0x7f5cbdec24d0)