//rotating thumb functions
var changing_thumbs = new Array();
function changeThumb(index, i, num_thumbs, path)
{
    if (changing_thumbs[index])
    {		
		var path_img = path + "_"  + i + ".jpg"
		document.getElementById(index).src = path_img;
        i++;
		i = i % num_thumbs;
        setTimeout("changeThumb('" + index + "'," + i + ", " + num_thumbs + ", '" + path + "')", 600);
    }
}    
function startThumbChange(index, num_thumbs, path)
{    
    changing_thumbs[index] = true;
    changeThumb(index, 1, num_thumbs, path);
}
function endThumbChange(index, path)
{
    changing_thumbs[index] = false;
    document.getElementById(index).src = path;
}