function xor_image(image)
{
	if (image.Flag)
	   image.src = image.src.substring(0, image.src.length - 5) + '1.gif';
	else
		image.src = image.src.substring(0, image.src.length - 5) + '2.gif';

	image.Flag = !image.Flag;
}

function ActivateFlashObjects()
{
	objects = document.getElementsByTagName("object");
	for (var i = 0; i < objects.length; i++)
	{
		objects[i].outerHTML = objects[i].outerHTML;
	}
}