electronic data-processing system{=EDPS}