The standard input. The default value for $stdin