在WindowsXP环境中，对磁盘文件进行管理的一个常用工具是（  　）。