Vitrectomy for double penetrating ocular injuries.