var img_name = new Array("../images/subpic_9.gif",
"../images/subpic_10.gif",
"../images/subpic_11.gif");

var l = img_name.length;

var rnd_no = Math.round((l-1)*Math.random());

document.subpic.src = img_name[rnd_no];