These printers use the TK8547K cartridge: