// search for link by name or hrefFragment and set to newHref
function changeLinkHref(name,newHref,hrefFragment)
{
	//alert('changeLinkHref!');
if (top.banner)
	{
	if (top.banner.document.links.length > 0)
		{
		for (var i=0; i<top.banner.document.links.length; i++) 
			{
			if(top.banner.document.links[i].name==name)
				{
			    //alert('New href1'+newHref);
				top.banner.document.links[i].href=newHref;return true;
				}
		  	}
		// name not found, try fragment of old href
   		var index = findLinkByHref(hrefFragment);
  		if (index > -1)
  			{
			top.banner.document.links[index].href = newHref;
		    //alert('New href2'+newHref);
			return true;
			}
		}
	}
}
function findLinkByHref(hrefFragment) 
{
	for (var i=0; i<top.banner.document.links.length; i++) 
		{
		if (top.banner.document.links[i].href.indexOf(hrefFragment)>0) return i;
		}
	return -1;
}