push(@INC,"/infosrv/ns-home/cgi-bin/");
require("cgi-lib.pl")