// Makes the downloading circle thing active on the form. This way,
// the user can see activity on the screen while the file 
// is being uploaded.
// Note: I have to submit the file and THEN reload the animated gif.
// This is a workaround to a bug in internet explorer. 
function submit_with_animated_gif(myForm) {
	show_animated_gif();
	myForm.submit();

	// Necessary because of a bug in Internet Explorer
	document.please_wait_gif.src = document.please_wait_gif.src;
	return true; 
}

function go_to_link_with_animated_gif(myLink){
	show_animated_gif();
	document.location.href = myLink;
	
	// Necessary because of a bug in Internet Explorer
	document.please_wait_gif.src = document.please_wait_gif.src;
	return true; 	
}

function show_animated_gif(){
	progress_bar_element = document.getElementById("waiting_animated_gif");
	if (waiting_animated_gif.style.display == "none") {
		waiting_animated_gif.style.display = "block";
	}
}