/* --- menu items --- */
var MENU_ITEMS = [
	['Home', '../../index.htm'],
	['Prospekte', '../../downloads/download.htm'],
	['Hauptmenü', 'ueber.htm'],
	['Zurück', 'javascript:history.back()'],
	['Ende', 'javascript:window.close()']
];