HASH(0x7f7aac57f120)