function bannerExpand() {
	document.getElementById("extensible-banner").style.clip="rect(0px,417px,200px,0px)";
}

function bannerCollapse() {
	document.getElementById("extensible-banner").style.clip="rect(0px,417px,95px,0px)";

}