puts $fileID {Hello world!}