/drawing_tools.gif/1.1/Fri Jun 20 12:23:39 1997 Tue Apr 22 15:44:11 1997//
/main_window.gif/1.1/Fri Jun 20 12:23:40 1997 Tue Apr 22 15:44:12 1997//
/menu.gif/1.1/Fri Jun 20 12:23:40 1997 Tue Apr 22 15:44:13 1997//
