function bannerExpand() {

	document.getElementById("extensible-banner").style.clip="rect(0px,800px,500px,0px)";

}

function bannerCollapse() {

	document.getElementById("extensible-banner").style.clip="rect(0px,800px,90px,0px)";

}