function injectIt() {
	if (document.getElementById("toInject") != null) {
		var txt = document.getElementById("toInject").innerHTML;
		var elem = document.getElementById("inject");
		elem.innerHTML = txt;
	}
}