/* ________________________________________________

        JS-MP-091109.js ~ revised 2009.11.09
   ________________________________________________
*/


// Function for menu pages: _____________________________________________________________

function Show(idx) {
	var i = 0;
	var displayMode = "";

	// If the argument is 0, only the menu is displayed:
	while (document.getElementById("a" + (++i))) {
		displayMode = (i == idx) ? "block" : "none" ;
		document.getElementById("a" + i).style.display = displayMode;
	}
}

// Function for "pushing down" entries on menu pages: ___________________________________

function WriteLineBreaks(reps) {
	for (i = 0; i < reps; ++i)
		document.write("<br />");
}