function set_opacity(obj, value) 
{
	obj.style.opacity = value/10;
	obj.style.filter = 'alpha(opacity=' + value*10 + ')';
}

function rotate_picture(imagenames, id, interval)
{
	var i;
	var images = new Array(imagenames.length);
	for (i = 0; i < imagenames.length; i++)
	{
		images[i] = new Image();
		images[i].src = imagenames[i];
	}
	i = 0;
	window.setInterval(
		function ()
		{
			var img = document.getElementById(id);
			var j = i%imagenames.length;
			img.src = imagenames[j];
			i++;
		}, interval);
}

function rotate_picture_once(imagenames, id, interval)
{
	var i;
	var images = new Array(imagenames.length);
	for (i = 0; i < imagenames.length; i++)
	{
		images[i] = new Image();
		images[i].src = imagenames[i];
	}
	i = 0;
	var int_id = window.setInterval(
		function ()
		{
			var img = document.getElementById(id);
			if (i == imagenames.length)
			{
				window.clearInterval(int_id);
			}
			else
			{
				img.src = imagenames[i];
				i++;
			}
		}, interval);
}

function rotate_picture_fade(imagenames, id, interval, fade_interval)
{
	var i;
	var images = new Array(imagenames.length);
	for (i = 0; i < imagenames.length; i++)
	{
		images[i] = new Image();
		images[i].src = imagenames[i];
	}
	i = 0;
	window.setInterval(
		function ()
		{
			var img = document.getElementById(id);
			var j = i%imagenames.length;
			picture_fadextion(img, imagenames[j], fade_interval);
			i++;
		}, interval + fade_interval);
}

function rotate_picture_fade_link(imagenames, id, hrefs, hrefid, interval, fade_interval)
{
	var i;
	var images = new Array(imagenames.length);
	for (i = 0; i < imagenames.length; i++)
	{
		images[i] = new Image();
		images[i].src = imagenames[i];
	}
	i = 0;
	window.setInterval(
		function ()
		{
			var img = document.getElementById(id);
			var j = i%imagenames.length;
			picture_fadextion(img, imagenames[j], fade_interval);
			document.getElementById(hrefid).href = hrefs[i]; 
			i++;
		}, interval + fade_interval);
}

function rotate_picture_fade2(imagenames, id, interval, fade_interval)
{
	var i;
	var images = new Array(imagenames.length);
	for (i = 0; i < imagenames.length; i++)
	{
		images[i] = new Image();
		images[i].src = imagenames[i];
	}
	i = 0;
	window.setInterval(
		function ()
		{
			var img = document.getElementById(id);
			var j = i%imagenames.length;
			picture_fadextion(img, imagenames[j], fade_interval);
			i++;
		}, interval + fade_interval);
}

function picture_fadextion(img, imagename, interval)
{
	var i = -10;
	var id = window.setInterval(
		function ()
		{
			if (i < 0)
				set_opacity(img, Math.abs(i));
			else 
				set_opacity(img, i);
			if (i == 0)
				img.src = imagename;
			i++;
			if (i > 10)
			{
				window.clearInterval(id);
			}
		}, interval/20);
}