var mySection = 'index';
document.write('<table border=0 cellpadding=3 cellspacing=0 width=100%>');
document.write('<tr>');
document.write('<td><form name=form1>');
document.write('<select name="pullDown" onChange="if (this.options[selectedIndex].value) window.location=\'' + mySection + '_\' + this.options[selectedIndex].value + \'.shtml\'">');
document.write('<option value=""> English');
document.write('<option value="tw"> Taiwanese');
document.write('<option value="kr"> Korean');
document.write('<option value="fr"> French');
document.write('<option value="de"> German');

document.write('</select>');
var myLen = document.form1.pullDown.length;
var myURL = location.href;
var offset = myURL.indexOf("_");
var tmpLess = tmpMore = 0;

if (offset != -1) {
	var myVal = myURL.split('_');
	var finalNum = myVal[1].split('.');
	var myTmp = finalNum[0];

	for (var p = 0; p < myLen; p++) {
		if (document.form1.pullDown.options[p].value == myTmp) var k = p;
	}

	document.form1.pullDown.selectedIndex = k;
	var x = y = k;
	if (x == 1 || x == 0) x = myLen;
	if (y == myLen - 1) y = 0;
	tmpLess = x - 1;
	tmpMore = y + 1;

} else {
	tmpLess = myLen - 1;
	tmpMore = 1;
}

var lessNum = document.form1.pullDown.options[tmpLess].value;
var moreNum = document.form1.pullDown.options[tmpMore].value;
document.write('</form></td>');
document.write('</tr></table>');