Code updated through December 11, 2013.