// Initialisierung
var activeTimer = false;

/**
 * Zeigt das Klappmenu der Einsatzbereiche sofort
 * @return void
 */
function showApplicationRanges()
{
	document.getElementById('ApplicationRanges').style.visibility='visible';
	if (activeTimer) {
		window.clearTimeout(activeTimer);
	}
}

/**
 * Versteckt das Klappmenu der Einsatzbereiche sofort
 * @return void
 */
function hideApplicationRanges()
{
	document.getElementById('ApplicationRanges').style.visibility='hidden';
}

/**
 * Versteckt das Klappmenu der Einsatzbereiche in 1.5 Sekunden
 * @return void
 */
function hideApplicationRangesWithTimeout()
{
	activeTimer = window.setTimeout("hideApplicationRanges()", 1500);
}