# $Id: Version 9 2004-08-21 00:42:59Z helge $ MAJOR_VERSION:=5 MINOR_VERSION:=1 SUBMINOR_VERSION:=9