Obsoleting ctrl.js, because JSON is fun :D