# $Id: Version 9 2004-08-21 00:42:59Z helge $

MAJOR_VERSION:=5
MINOR_VERSION:=1
SUBMINOR_VERSION:=8