These printers use the TK8557C cartridge: