function extractVar(str) {
    var withoutHTML = str.replace(/<[^>]*>/g, '');
    var res = withoutHTML.match(/; var ([a-zA-Z0-9]+) ([\S^]+)/);
    if (res === null) {
        return null;