The HP DeskJet 4255e is part of the Deskjet 4200 series, drivers can be download from the link to the 4200 series below.