// JavaScript Document
function change_caption(number)
{ 
	var caption = document.picture_caption;
	caption.src = "Images/bannercollage_r2_c1_f" + number + ".jpg";
}
function revert()
{
	var caption = document.picture_caption;
	caption.src = "Images/BannerCaption.gif"
}



function caption_change_new(str)
{
	var caption = document.getElementById("caption");
	caption.innerHTML = str;
}

function revert_new()
{
	var caption = document.getElementById("caption");
	caption.innerHTML = "";
}