HASH(0x7f13805869d8)