I recently had a huge problem with spyware/malware/trojans etc that took my hours to get rid of, but I finally got rid of everything. Upon rebooting my PC though, it changed my time format to military time. (20:00 instead of 8:00pm). How do I go about putting it back to normal?