HASH(0x7f13554eb5e0)