if (typeof resizeBanner != 'function' && typeof alignBanner != 'function') {
	function resizeBanner(id, newW, newH) {
		document.getElementById(id).style.width = newW+"px";
		document.getElementById(id).style.height = newH+"px";
	}
	function alignBanner(id, newX, newY) {
		document.getElementById(id).style.left = newX+"px";
		document.getElementById(id).style.top = newY+"px";
	}
}