HASH(0x7f13541c6c40)