Just an FYI, you do not have to reinstall the OS. You can usually do this with a bootable linux CD.

Also, df -m or df -h make for easier readable formatting for humans. df -k usually works better for making output that can be worked on by machines and other programs/scripts.