function bannerExpand() {

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

}

function bannerCollapse() {

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

}