Common fixed point theorems for four mappings in fuzzy metric spaces