function ukmenu_on() {
	var div = document.getElementById('uk-menu');
	if (div != null) {
		div.style.display = 'block';
	}
}
function ukmenu_off() {
	var div = document.getElementById('uk-menu');
	if (div != null) {
		div.style.display = 'none';
	}
}