HASH(0x7f7aac57f150)