function isEmpty(inputStr) {
	var $re = /^[\s]*$/;
	if (inputStr.match($re)) {
	  return true;
	}
	return false;
};
function searchTel(){
	var query = processQueryTerms(document.minitel.TELinput.value);
	var baseurl2 = "http://search.theeuropeanlibrary.org/portal"
	lan = 'en';
	pub = "";
	theme = "";
	if(lan==""){lan="en";}
	if(isEmpty(query)){
		document.getElementById('TELinput').value='';
		document.getElementById('TELinput').focus();
		document.getElementById('TELinput').style.backgroundColor='#ffcc00';
		return false;
	}
	else {
		if(pub==""){
			if(theme=="children\'s literature"){theme = "childrens literature";}
			if(theme==""){theme = "defaultColl";}
			url=baseurl2+'/'+lan+'/search/themes/'+theme+'/("'+query+'").query';
		} else {
			url=baseurl2+'/'+lan+'/search/publisher/'+pub+'/("'+query+'").query';
		}
		window.open(url,'_blank');
		return false;
	}	
};
function processQueryTerms(queryterms){

	var $processed = queryterms;
	
	//remove double quotes
	//$processed = $processed.replace(/\"/g, '');
	
	//NORMALISATION
	
	//convert to lowercase
	$processed = $processed.toLowerCase();
	//FOR COPY AND PASTE IN THE PORTAL:  
	$processed = $processed.replace(/\`/g, "");
	$processed = $processed.replace(/\´/g, "");
	$processed = $processed.replace(/\^/g, "");
	$processed = $processed.replace(/\~/g, "");
	$processed = $processed.replace(/\¯/g, "");
	$processed = $processed.replace(/\¨/g, "");
	$processed = $processed.replace(/\?/g, "");
	$processed = $processed.replace(/\¸/g, "");
	//PUNCTUATION
	//FOR COPY AND PASTE IN THE PORTAL: !"'...()-[]{}«»;:.?¿¡,
	$processed = $processed.replace(/\!/g, "");
	$processed = $processed.replace(/\…/g, "");
	$processed = $processed.replace(/\(/g, "");
	$processed = $processed.replace(/\)/g, "");
	$processed = $processed.replace(/\-/g, "");
	$processed = $processed.replace(/\[/g, "");
	$processed = $processed.replace(/\]/g, "");
	$processed = $processed.replace(/\{/g, "");
	$processed = $processed.replace(/\}/g, "");
	$processed = $processed.replace(/\</g, "");
	$processed = $processed.replace(/\>/g, "");
	$processed = $processed.replace(/\«/g, "");
	$processed = $processed.replace(/\»/g, "");
	$processed = $processed.replace(/\./g, "");
	$processed = $processed.replace(/\¿/g, "");
	$processed = $processed.replace(/\¡/g, "");
	$processed = $processed.replace(/\;/g, "");
	$processed = $processed.replace(/\:/g, "");
	$processed = $processed.replace(/\,/g, "");
	$processed = $processed.replace(/\&/g, "");
	$processed = $processed.replace(/\*/g, "");
	$processed = $processed.replace(/#/g, "");
	$processed = $processed.replace(/&/g, "");
	$processed = $processed.replace(/@/g, "");
	$processed = $processed.replace(/~/g, "");
	$processed = $processed.replace(/\'/g, "");
	$processed = $processed.replace(/\"/g, "");
	return $processed;
};