print "helm_dir: $helm_dir\n";
print "helm_rdf_dir: $helm_rdf_dir\n";
print "style_dir: $style_dir\n";
print "dtd_dir: $dtd_dir\n";
print "urls_of_uris db: $uris_dbm\n";
print "rdf db: $rdf_dbm\n";
print "helm_dir: $helm_dir\n";
print "helm_rdf_dir: $helm_rdf_dir\n";
print "style_dir: $style_dir\n";
print "dtd_dir: $dtd_dir\n";
print "urls_of_uris db: $uris_dbm\n";
print "rdf db: $rdf_dbm\n";