How to get the servername?

Original text of this message