function show_progress_indicator()
{
	progress_image = document.getElementById("progress_indicator");
	progress_image.style.visibility = "visible";
}