These printers use the TK8547C cartridge: