// Javascript functions to fade images in and out
function init_image(id) {
	var image = top.document.getElementById(id);
	set_opacity(image,0);
	image.style.visibility = 'visible';
	fade_in(id,0);
 }

function set_opacity(obj,opacity) {
	opacity = (opacity == 100)?99.999:opacity;
	// IE/Win
	obj.style.filter = "alpha(opacity:"+opacity+")";
	// Safari<1.2, Konqueror
	obj.style.KHTMLOpacity = opacity/100;
	// Older Mozilla and Firefox
	obj.style.MozOpacity = opacity/100;
	// Safari 1.2, newer Firefox and Mozilla, CSS3
	obj.style.opacity = opacity/100;
 }

function fade_in(id,opacity) {
	if (top.document.getElementById) {
		obj = top.document.getElementById(id);
		if (opacity <= 100) {
			set_opacity(obj,opacity);
			opacity += 2;
			window.setTimeout("fade_in('"+id+"',"+opacity+")",30);
		 }
		else {
			window.setTimeout("fade_out('"+id+"',98)",5000);
		 }
	 }
 }

function fade_out(id,opacity) {
	if (top.document.getElementById) {
		obj = top.document.getElementById(id);
		if (opacity >= 0) {
			set_opacity(obj,opacity);
			opacity -= 2;
			window.setTimeout("fade_out('"+id+"',"+opacity+")",30);
		 }
		else {
			next_image(id);
		 }
	 }
 }

function next_image(id) {
	var which = (id=='announce_a')?cycle_a:cycle_b;
	x = (id=='announce_a')?((x==(which.length-1))?0:x+1):x;
	top.document.getElementById(id).src = "img/" + which[x];
 }