HASH(0x7f7a8057b3b0)