function getHttpRes(msg, state, extra){
			if(state != __RPC_SUCCESS__) return alert("Could not connect to server");
			
			if (!self.orig_div1) self.orig_div1 = document.getElementById('div1').innerHTML; // Save to original content for reset
			document.getElementById('div1').innerHTML = msg ;
		}
		function getHttpRes2(msg, state, extra){
			if(state != __RPC_SUCCESS__) return alert("Could not connect to server");
			
			if (!self.orig_div2) self.orig_div2 = document.getElementById('div2').innerHTML; // Save to original content for reset
			document.getElementById('div2').innerHTML = msg ;
		}
		function getHttpRes3(msg, state, extra){
			if(state != __RPC_SUCCESS__) return alert("Could not connect to server");
			
			if (!self.orig_div2) self.orig_div3= document.getElementById('div3').innerHTML; // Save to original content for reset
			document.getElementById('div3').innerHTML = msg ;
		}
		
		function reset_div1() {
			if (self.orig_div1) document.getElementById('div1').innerHTML = self.orig_div1;
		}
		function reset_div2() {
			if (self.orig_div2) document.getElementById('div2').innerHTML = self.orig_div2;
		}
		function reset_div3() {
			if (self.orig_div3) document.getElementById('div3').innerHTML = self.orig_div3;
		}