function randInt(min,max)
{
     var div = (max - min) + 1
     var randNum = Math.random()
     for (var i = 0; i <= div - 1; i++)
     {
          if (randNum >= i / div && randNum < (i+1) / div)
          {return i + min}
     }
}


var abc = randInt(1,7);

if (abc == 1) {

     document.write('<img src="../images/debian_banner_01.gif">');

}

if (abc == 2) {

     document.write('<img src="../images/debian_banner_02.gif">');

}

if (abc == 3) {

     document.write('<img src="../images/debian_banner_03.gif">');

}

if (abc == 4) {

     document.write('<img src="../images/debian_banner_04.gif">');

}

if (abc == 5) {

     document.write('<img src="../images/debian_banner_05.gif">');

}
if (abc == 6) {

     document.write('<img src="../images/debian_banner_06.gif">');

}
if (abc == 7) {

     document.write('<img src="../images/debian_banner_07.gif">');

}