HASH(0x7f13554db6d8)