Tools for Manipulating JSON Elements