function set_repeat() {
		vertical = document.getElementById("vertical_bar");
		horizontal = document.getElementById("horizontal_bar");
		
		height = document.body.clientHeight
		width = document.body.clientWidth;
	
		//alert(window.innerHeight);
		//alert(document.documentElement.clientHeight);
	
		height = height - 351;
		width = width - 141;
		vertical.style.height = height + "px";
		horizontal.style.width = width + "px";
	
	}