function searchbox(active) {
	var box = document.getElementById('search_box');
	if (active) {
		box.className = 'nobg';
	} else if (box.value == '') {
		box.className = '';
	}
}