used a file