function window_onload() {

var randnum = Math.random();
//var inum = 9;
var rand1 = Math.floor(Math.random() * 2) + 1;
var rand2 = Math.floor(Math.random() * 2) + 4;
var rand3 = Math.floor(Math.random() * 2) + 7;

imgheader1.src = "../images/icon_0" + rand1 + ".png";
imgheader2.src = "../images/icon_0" + rand2 + ".png";
imgheader3.src = "../images/icon_0" + rand3 + ".png";

}