four different colored ink cartridges in a printer