function display(contents) {
	var resultDiv = document.getElementById("garbage-abc");

	resultDiv.innerHTML = contents;
}

function proces() {
	var procesDiv = document.getElementById("garbage-abc");
	procesDiv.innerHTML = "<img src=\"icons/loading.gif\" />";
}


function done() {
	var procesDiv = document.getElementById("garbage-abc");
	procesDiv.innerHTML = "";
}