output $file,"whatever";