<commit_before>﻿var g_xmlhttp = null;


function myajax(url, handler) {
    if(g_xmlhttp == null) {
        g_xmlhttp = new XMLHttpRequest();
    }
    g_xmlhttp.onreadystatechange = handler;
    g_xmlhttp.open("GET", url, true);
    g_xmlhttp.send();
}


function hole_search_handler() {
    if( g_xmlhttp == null ) return false;
    var res_div = document.getElementById('fast_search_result');
    if( !res_div ) return false;
    var resp = '';
    if( g_xmlhttp.readyState==4 && g_xmlhttp.status==200 ) {
        resp = g_xmlhttp.responseText;
    }
    if( (resp != '') && (resp != 'ERROR') ) {
        res_div.innerHTML = '[' + resp + ']';
        var obj = JSON.parse(resp);
        // { "maxJumpMass": 300000000, "maxStableMass": 3000000000,
        //   "in_class_str": "C5", "in_class": 5, "massRegeneration": 0,
        //   "maxStableTime": 1440, "name": "H900", "id": 46 }
        // tip string
        var tip_str = '';
        // mass
        tip_str += 'Масса: <b>';
        tip_str += obj.maxStableMass / 1000000;
        tip_str += '</b>  тыс.тонн<br />';
        // jump mass
        tip_str += 'Масса на прыг: <b>';
        tip_str += obj.maxJumpMass / 1000000;
        tip_str += '</b>  тыс.тонн<br />';
        // lifetime
        tip_str += 'Время жизни: <b>';
        tip_str += obj.maxStableTime / 60;
        tip_str += '</b>  ч.<br />';
        // element code
        var s = '<span class=\"static_name\" onmouseover=\"Tip(\'';
        s += tip_str;<commit_msg>JS: comment unneeded line<commit_after>﻿var g_xmlhttp = null;


function myajax(url, handler) {
    if(g_xmlhttp == null) {
        g_xmlhttp = new XMLHttpRequest();
    }
    g_xmlhttp.onreadystatechange = handler;
    g_xmlhttp.open("GET", url, true);
    g_xmlhttp.send();
}


function hole_search_handler() {
    if( g_xmlhttp == null ) return false;
    var res_div = document.getElementById('fast_search_result');
    if( !res_div ) return false;
    var resp = '';
    if( g_xmlhttp.readyState==4 && g_xmlhttp.status==200 ) {
        resp = g_xmlhttp.responseText;
    }
    if( (resp != '') && (resp != 'ERROR') ) {
        // res_div.innerHTML = '[' + resp + ']';
        var obj = JSON.parse(resp);
        // { "maxJumpMass": 300000000, "maxStableMass": 3000000000,
        //   "in_class_str": "C5", "in_class": 5, "massRegeneration": 0,
        //   "maxStableTime": 1440, "name": "H900", "id": 46 }
        // tip string
        var tip_str = '';
        // mass
        tip_str += 'Масса: <b>';
        tip_str += obj.maxStableMass / 1000000;
        tip_str += '</b>  тыс.тонн<br />';
        // jump mass
        tip_str += 'Масса на прыг: <b>';
        tip_str += obj.maxJumpMass / 1000000;
        tip_str += '</b>  тыс.тонн<br />';
        // lifetime
        tip_str += 'Время жизни: <b>';
        tip_str += obj.maxStableTime / 60;
        tip_str += '</b>  ч.<br />';
        // element code
        var s = '<span class=\"static_name\" onmouseover=\"Tip(\'';
        s += tip_str;
{'fraction_non_alphanumeric': 0.17340461075843636, 'fraction_numerical': 0.03407951887738055, 'mean_word_length': 2.1953041622198506, 'pattern_counts': {'":': 16, '<': 23, '<?xml version=': 0, '>': 21, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 20}, 'pii_count': 0, 'substrings_counts': 4, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5176696', 'n_tokens_mistral': 1142, 'n_tokens_neox': 1055, 'n_words': 222}