// Function for hovering images
// Change all images with class="hover"
// Works with PNG images only

function setImgHover ()
{
	var hover_images = document. getElementsByTagName ('img');
 	for (var i = 0; i < hover_images. length; i++)
 	{
 		if (hover_images[i]. className == 'zhover')
 		{
	 		hover_images[i]. onmouseover = function ()
		 	{
			 	this. setAttribute ('src', this. getAttribute ('src'). replace (/(\.[a-z]{3,4})$/i, '-h$1'));
			}
	 		hover_images[i]. onmouseout = hover_images[i]. onclick = function ()
			{
				this. setAttribute ('src', this. getAttribute ('src'). replace (/(\-h(\.png))$/i, '$2'));
	 		}
 		}
 	}

	var hover_divs = document. getElementsByTagName ('div');
	for (var i = 0; i < hover_divs. length; i++)
 	{
 		if (hover_divs[i]. className == 'zhover')
 		{
	 		hover_divs[i]. firstChild. onmouseover = function ()
		 	{
			 	this. parentNode. style. backgroundImage = getStyle (this. parentNode, 'backgroundImage'). replace (/(\.png\))$/i, '-h.png)');
			}
	 		hover_divs[i]. firstChild. onmouseout = hover_divs[i]. onclick = function ()
			{
			 	this. parentNode. style. backgroundImage = getStyle (this. parentNode, 'backgroundImage'). replace (/(\-h\.png\))$/i, '.png)');
	 		}
 		}
 	}
}