var demos = new Array(5);

demos[0] = "graphics/demo-def.jpg";
demos[1] = "graphics/demo-wed.jpg";
demos[2] = "graphics/demo-sen.jpg";
demos[3] = "graphics/demo-fam.jpg";
demos[4] = "graphics/demo-oth.jpg";

image1 = new Image();
image1.src = demos[1];

image2 = new Image();
image2.src = demos[2];

image3 = new Image();
image3.src = demos[3];

image4 = new Image();
image4.src = demos[4];

function mouseover(num)
{
	var demopic = document.getElementById("demopic");
	demopic.src = demos[num];
}

function mouseout()
{
	var demopic = document.getElementById("demopic");
	demopic.src = demos[0];
}