HP 4000 Series, 4050 Series User Manual