$history{ $newvalue } = $histcount++; ...