var nun = location.pathname
nomo = nun.substring (nun.lastIndexOf ('/')+1, nun.length)

pagh = new Array (17);
pagh[0] = 'index.html'
pagh[1] = ''
pagh[2] = 'frekvint.html'
pagh[3] = 'adresint.html'
pagh[4] = 'lokstaci.html'
pagh[5] = ''
pagh[6] = 'son.html'
pagh[7] = 'arkiv.html'
pagh[8] = ''
pagh[9] = 'frekvazi.html'
pagh[10] = 'frekveur.html'
pagh[11] = 'frekvame.html'
pagh[12] = ''
pagh[13] = 'lokkultu.html'
pagh[14] = 'lokinfor.html'
pagh[15] = ''
pagh[16] = 'prezento.html'
pagh[17] = 'nov.html'

document.write ('<FORM NAME="menuform" size=17>')
document.write('<SELECT cols=16 NAME="menu" onChange="menuo()">')
document.write('<OPTION'+ ((nomo == pagh[0]) ? ' SELECTED' :'' )+'>'+'AERA - Bonvenon')
document.write('<OPTION> - - - - - - -')
document.write('<OPTION'+ ((nomo == pagh[2]) ? ' SELECTED' :'' )+'>'+'Int. Elsendoj')
document.write('<OPTION'+ ((nomo == pagh[3]) ? ' SELECTED' :'' )+'>'+'Adres. Int. Stacioj')
document.write('<OPTION'+ ((nomo == pagh[4]) ? ' SELECTED' :'' )+'>'+'Lokaj programoj')
document.write('<OPTION> - - - - - - -')
document.write('<OPTION'+ ((nomo == 'son_chef.html') ? ' SELECTED' :'' )+'>'+'Sondokumentoj')
document.write('<OPTION'+ ((nomo == pagh[7]) ? ' SELECTED' :'' )+'>'+'Arkivo')
document.write('<OPTION> - - - - - - -')
document.write('<OPTION'+ ((nomo == pagh[9]) ? ' SELECTED' :'' )+'>'+'Int. els. Azi/Oceanio')
document.write('<OPTION'+ ((nomo == pagh[10]) ? ' SELECTED' :'' )+'>'+'Int. els. Europo')
document.write('<OPTION'+ ((nomo == pagh[11]) ? ' SELECTED' :'' )+'>'+'Int. els. Ameriko')
document.write('<OPTION> - - - - - - -')
document.write('<OPTION'+ ((nomo == pagh[13]) ? ' SELECTED' :'' )+'>'+'Lok. (parte) en Eo')
document.write('<OPTION'+ ((nomo == pagh[14]) ? ' SELECTED' :'' )+'>'+'Lok. nacilingvaj')
document.write('<OPTION> - - - - - - -')
document.write('<OPTION'+ ((nomo == pagh[16]) ? ' SELECTED' :'' )+'>'+'Prezento de AERA')
document.write('<OPTION'+ ((nomo == pagh[17]) ? ' SELECTED' :'' )+'>'+'Novazhoj pri Radio')

document.write('</SELECT>')
document.write ('</FORM>')

function menuo() {
	var selection = document.menuform.menu.selectedIndex;
	var newloc = null;
		if (pagh[selection] != '') newloc = pagh[selection] ;
	if (newloc) { 
		setTimeout("top.window.location.href = \'" + newloc + "\'", 0);
	}
}