<!--Pict rotation

var picnumber = 8 ;
var randomnumber = Math.random() ;
var rand1 = Math.round( (picnumber-1) * randomnumber) + 1 ;
pics = new Array
pics[1] = "<img src=images/infra/couronne.jpg>"
pics[2] = "<img src=images/infra/heli.jpg>"
pics[3] = "<img src=images/infra/garten.jpg>"
pics[4] = "<img src=images/infra/horu.jpg>"
pics[5] = "<img src=images/infra/dorf.jpg>"
pics[6] = "<img src=images/infra/nacht.jpg>"
pics[7] = "<img src=images/infra/horu_2.jpg>"
pics[8] = "<img src=images/infra/kl_horu.jpg>"
var pic = pics[rand1]

// -->
