// var current=location.href.match(/(.*)(_(.*))(\.htm$)/);

if ( current ) {
    document.write('\n<select name="menu1" onChange="MM_jumpMenu(\'parent\',this,0)" class="langg">\n');
    la=lang[current_language];
    for ( var i in la) {
	if ( i != current_language ) {
        document.write("<option ");
	document.write("value=" + current[1] + "_" + i + current[4] + ">");
	document.write(la[i]);
	if ( lang[i] ) document.write(" (" + lang[i][i] + ") " );
        document.write("</option>\n");
	}
    }
    document.write("</select>\n");
}