HASH(0x7f134151ce68)