what command-line parameter could you use to determine the type and version number of the web server?