function stringizeStats(stats) {
    var messages=txtToSql.dictionary[stats.lang];
    var r=[];
    var time = stats.endTime - stats.startTime;
    var ms = parseInt((time%1000), 10);