// JavaScript Document
var banner_image_uri = "images/banner_";
var image_type = ".jpg";
var banner_element_id = "banners";
function changeBanners(index){
	var target = document.getElementById(banner_element_id);
	target.src = banner_image_uri + index + image_type;
}