// 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+")",20);
		 }
		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+")",20);
		 }
		else {
			next_image();
		 }
	 }
 }

function next_image() {
	x = (x==(cycle_images.length-1))?0:x+1;
	top.document.getElementById('cycle').src = "/images/" + cycle_images[x];
	fade_in('cycle',0);
 }