function setBannerRotationSize(id, height) {
	var el = document.getElementById(id);
	el.height = height;
}