/INPUT=filename

    Supplies command input from the specified input file. Input
    is taken up to end-of-file or a disconnect character. If no
    disconnect character is encountered, the command input continues
    from the local terminal. If a local terminal does not exist-
    that is, if the command is executing in batch mode-end-of-file
    disconnects the console carrier connection.