$13/19:   File number of current Input Device