function search_form_focus()
{
	var s = document.getElementById('google_search');
	if (!s.value)
		s.focus();
}