$config['MasterServer']['servername'] - installation problem

[ETDC]

What should I put in this field - $config['MasterServer']['servername'] - when changing config.php?

My host gives me two options:

Internal Server: mysql5int.[domainname]
External Access: mysql5ext.[domainname]

int or ext? Can anyone help? :)

[Marco van Herwaarden]

Internal access probably, but your host would need to answer this.

[ETDC]

Yup, it was int. Thanks for your help. :)