function inString( haystack, needle, offset){
    var i = (haystack+'').indexOf(needle, (offset ? offset : 0));
    return i === -1 ? false : true;
}

function adjustContentLinks(lang)
{
	var els = document.getElementsByTagName("A");
	for(var i = 0; i<els.length; i++)
	{
		if(els[i].href.indexOf("&view=article")!=-1 && els[i].href.indexOf("&lang=")==-1)
			els[i].href = els[i].href+"&lang="+lang+"&Itemid=0";
	}
}