HASH(0x7f7aac57dca0)