function init_gz()
{
	document.getElementById('gehezu_js').style.display = 'block';
	document.getElementById('gehezu_nojs').style.display = 'none';
}

function swap_menu(show)
{
	document.getElementById('gehezu_menu').style.display = (show) ? 'block' : 'none';
}