function searchbox(action)
	{
	box=document.getElementById('s');
	if (action=='focus' && box.value==search_for)
		box.value='';
	else
		if (action=='blur' && box.value=='')
			box.value=search_for;
	}