Which of the following commands can be used to view the name of a Linux system?