function topmenu_init0() {
    const nav = $('.nav');
    $('li', nav)
	.mouseover(function(e) {
	    $('ul', this).stop().slideDown('fast');
	})
	.mouseout(function(e) {
	    $('ul', this).stop().slideUp('fast');
	})
}
function topmenu_init() {
    const nav = $('.nav');
    $('li', nav)
	.mouseover(function(e) {
	    $('ul', this).stop().show();
	})
	.mouseout(function(e) {
	    $('ul', this).stop().hide();
	})
}