3833b13
%!% $Id: level1.ps,v 1.4 2002/02/21 21:49:28 giles Exp $/.setlanguagelevel where { pop 1 .setlanguagelevel } if