var verlanginserted = new Array();
for( var i = 0; (distr_all.length/2) > i; i++ )
{
  var cur_distr_os_name = distr_all[i*2];
  var cur_distr = distr_all[i*2+1];

  for( var u = 0; cur_distr.length > u; u++ )
  {
    var c;

    for( c = 0; verlanginserted.length > c; c++ )
    {
      if ( verlanginserted[c] == cur_distr[u][10] ) break;
    }
    
    if ( c == verlanginserted.length )
    {
      document.write("<a title='",cur_distr[u][10],"'><img src='../images/",cur_distr[u][9],"_flag.gif' width='16' height='16' border='0' align='absmiddle'/></a> ");
      verlanginserted = verlanginserted.concat( cur_distr[u][10] );
    }
  }
}