<!--
function google() {
k = document.getElementById('google_search')
if (k.style.display == 'none') {
	k.style.display = 'block';
} else {
	k.style.display = 'none';
}
}
//-->