var xmlData = null; var fileContent = null; var msgSourceWindow = null; var modelId = null; //Fix for IE (IE do not support 'startsWith') if (!String.prototype.startsWith) { String.prototype.startsWith = function(searchString, position) { position = position || 0; return this.substr(position, searchString.length) === searchString; }; } function loadModelSelect() { $('#model_generalRes_select').empty(); var verificationResultList = xmlData.find('VerificationResults > FormalVerificationResult'); for (var i = 0; i < verificationResultList.length; i++) { $('#model_generalRes_select').append($('