#OPTIONS=DECgraphics