Fixed point theorems for occasionally weakly compatible mappings in Menger spaces