HASH(0x7f870a2dea38)