// JavaScript Document
// Toggles images in banner
// written by s.marshall 13 august 2008

var openID = 'banner';
function bannerToggle(id,image,link, alt, title){
	document.getElementById('flip').src = image;
  document.getElementById('banner_anchor').href = link;
  document.getElementById('flip').alt = alt;
  document.getElementById('flip').title = title;
}