o = "3:4"; $haskey3 = haskey(@o, 3)
