OPTIONS=color
OPTIONS=catname:Pure
OPTIONS=dogname:Juan
OPTIONS=horsename:Juan
OPTIONS=!DECgraphics
OPTIONS=IBMgraphics