// JavaScript Document

var pic = new Array();
pic[1]="text_box_pics_1.jpg";
pic[2]="text_box_pics_2.jpg";
pic[3]="text_box_pics_3.jpg";
pic[4]="text_box_pics_4.jpg";

var img1 = document.getElementById("img_right");

function chImg(a){
	img1.src = "images/"+pic[a];
}