function show(b, s) {
	if (timer) {
		clearTimeout(timer);
		timer=false;
	}
	truehide();
	$('#pullmenu_'+b+'_'+s).css('visibility', 'visible');
}
function hide() {
	if (!timer) timer=setTimeout('truehide()', 100);
}
function truehide() {
	if (!keepmenu) {
		$('.pulldownmenu').css('visibility', 'hidden');
		$keepmenu=false;
	}
	timer=false;
}
var timer=false;
var keepmenu=false;