$13/19: File number of current Input Device