Prophylactic cephalothin in gastrointestinal surgery.