/*function bannerExpand() {
	document.getElementById("extensible-banner").style.clip="rect(0px,940px,600px,0px)";
}
function bannerCollapse() {
	document.getElementById("extensible-banner").style.clip="rect(0px,940px,250px,0px)";
}*/