function doFlash() {
	for(var i=0; i<arguments.length; i++) {
		var id = arguments[i];
		var el = document.getElementById(id);
		var html = el.innerHTML;
		el.innerHTML = "";
		el.innerHTML = html;
		el.style.display = "";
		el.style.visibility = "visible";
	}
}