K 10
svn:author
V 5
asami
K 8
svn:date
V 27
1997-03-12T09:39:24.000000Z
K 7
svn:log
V 147
Change default port number.  This was actually a very old patch that
I forgot to commit.

Submitted by:	Hidekazu Kuroki <hidekazu@cs.titech.ac.jp>

END
