function getIntFromJson(filename) {
    var obj;
    loadJson(filename, function (response) {
        obj = JSON.parse(response);
    });
    return obj.intProperty;
}