var img = new Array;

img[0] = "../img/interface/top_visual_1.jpg";
img[1] = "../img/interface/top_visual_2.jpg";
img[2] = "../img/interface/top_visual_3.jpg";
img[3] = "../img/interface/top_visual_4.jpg";
img[4] = "../img/interface/top_visual_5.jpg";
img[5] = "../img/interface/top_visual_6.jpg";
function random_img(){
        var i = myrandom(img.length) - 1;
        document.write("<IMG SRC=\""+img[i]+"\">");
}
function myrandom(max){
        var v = max * Math.random();
        if(v == 0.0){v = 1;}else{v = Math.ceil(v);}
        return v;
}
//