document.write("

Server Commands and Options

") .