function searchbox() {
	Element.toggle('searchbox');
	if (document.getElementById('searchtab').className=='tab') {
		document.getElementById('searchtab').className='active';
	}
	else {
		document.getElementById('searchtab').className='tab';
	}
}