HASH(0x7f5cadecfae0)