IRAS observations of OH/IR stars