Change time stamp in admin panel

Currently, in the Settings, it shows “Local time is 2011-07-21 9:04:55”

How do I change this to mm/dd/yy – hour:minute:seconds am/pm?

I know what to set the php functions to based off http://codex.wordpress.org/Formatting_Date_and_Time but where do I go in and make this change at?