OPTIONS=pettype:none
OPTIONS=number_pad:1
OPTIONS=DECgraphics