function doSearch() {
	var el = document.getElementById('q');
	if (el.value != '') {
		top.location.href = "?q=" + el.value;
	}		
}