Change port admin connecting ISPCOnfig3

[gkot]

Hi there,

i finished successfully the setup process for my new ISPConfig3 on a debian 5 distribution.
The installation mode was "expert" but unfortunately i changed the :8080 connecting port and now i forgot it. I thought that this value is saved in
/usr/local/ispconfig/server/lib/config.inc.php or in
/usr/local/ispconfig/interface/lib/config.inc.php files
but there is nowhere.

Could some1 tell me where the system saves the port in order to change it manyally back to :8080?
I have full SSH access and of course ftp access too.

Thanks