// JSON library loader
shellCommands.load("json2.js", false);