a bit of file operation