Home Tags What is an input file?