Editing: getfile.js