HASH(0x7f5cddeb8dd0)