CheckSubmit = function(){
	window.location.href = '/search?search='+$('sField').value+'&highlight=1';
}

window.addEvent('domready', function() {
    $$('a.search_links').addEvent('click', function(event) {
	var path = this.href;
	if(path.indexOf('&highlight=1') == -1){	
		path += '&highlight=1';
	}
	window.location.href = path;
    });
});