// script to change images upon clicking hot-area

function ShowTab(id, idx)
{
	// construct pathname from id and index
	var url = id;
	if (idx >= 10)
		url = id + "_" + idx.toString();
	else if (idx > 0)
		url = id + "_0" + idx.toString();
	url = url + ".png";
	// finally change image
	SetImgSrc(id, url);
}

function SetImgSrc(id, url)
{
	// change source of image
	var img = GetElement(id);
	if (img && img.src)
		img.src = url;
}
