file

Parameters

file

name of input file