function setInnerHTML(contents) {
	document.getElementById("placeholder").innerHTML = contents;
}