These printers use the SCX-D4200A cartridge:

Samsung SCX 4200