INPUT file
