../ @List 21-Jul-1995 18:44 1308 default 21-Jul-1995 18:44 1288 x 21-Jul-1995 18:44 1548 x11 21-Jul-1995 18:44 1548 x11r6 21-Jul-1995 18:44 1548