HASH(0x7fedd65ed018)