function cimg(name,ov){
	if (document.images[name]){
		document.images[name].src = "images/" + name + ((ov == 0)?"over":"") + ".jpg";
	}
}