// JavaScript Document

function ChangeImageBig(i){

if(document.getElementById("big_picture")){
	p = document.getElementById("big_picture");
 	} else {
	p = document.images["big_picture"];
	}
	
p.src = "big/" + i + ".jpg";

}