Change default port

Change-Id: I5296bb918c96bec461a96ee7f7194d0016cff8b7
diff --git a/config/config.go b/config/config.go
index b44259b..1176876 100644
--- a/config/config.go
+++ b/config/config.go
@@ -13,7 +13,7 @@
 	defaultServer     = "https://korap.ids-mannheim.de/"
 	defaultSDK        = "https://korap.ids-mannheim.de/js/korap-plugin-latest.js"
 	defaultServiceURL = "https://korap.ids-mannheim.de/plugin/termmapper"
-	defaultPort       = 3000
+	defaultPort       = 5725
 	defaultLogLevel   = "warn"
 )