function performSearch(){	re = / /gi;	str = document.getElementById('qc').value;	newstr=str.replace(re, "_"); window.document.searchbox.key.value= document.getElementById('qc').value;	newstr = '/'+strTerm+'/';	window.document.searchbox.q.value  = document.getElementById('qc').value + ' "'+strTerm+'"';window.document.searchbox.action=newstr;window.document.searchbox.submit();}function checkEnter(e){ 	var characterCode; 		if(e && e.which){ 		e = e;		characterCode = e.which;	}else{		e = event;		characterCode = e.keyCode; 	}	if(characterCode == 13){ 		performSearch();		return false;	}	else{		return true;	}}