function getSearchString(queryString) {
	var tokens = queryString.split("&"); 
	for (var i in tokens) {
		if (tokens[i].search("search=") != -1) {
			result = tokens[i].split("=");
			return result[1].split(" ");
		}
	}
	return "";
}
function highlightOnLoad() {
	var queryString = window.location.search;
	if (/search\=/.test(queryString)) { 
		var searchTerms = getSearchString(decodeURI(queryString));
		var textContainerNode = document.getElementById("content"); 
		var tempInnerHTML = textContainerNode.innerHTML;
		for (var i in searchTerms)  {
			if (searchTerms[i] != "" && searchTerms[i].length > 3) {
				// whole word search-highlight
				// TODO if the word is surrounded by Arabic punctuation, the following regular expression will fail
				var regex = new RegExp("([^\\u0600-\\u06ff])("+searchTerms[i]+")([^\\u0600-\\u06ff])","ig");
				tempInnerHTML = highlightTextNodes(tempInnerHTML, regex); 
			}
		}
		textContainerNode.innerHTML = tempInnerHTML;
	} 
}
function highlightTextNodes(innerHTML, regex) { 
	return innerHTML.replace(regex,"$1<span class='highlighted word'>$2</span>$3");
}