$haskey3 = haskey($*, 3)
