function dotrans(lang)
{
   myurl = window.encodeURIComponent(document.location.href);
   if(document.location.href.search("translate_c") >= 0)
	{
		regexp = new RegExp(/&u=(.*?)&/);
		match = regexp.exec(document.location.href);
		myurl = match[1];
	}
	var url = "http://translate.google.com/translate?u=" + myurl + "&langpair=en%7C" + lang + "&hl=en&safe=off&ie=UTF-8&oe=UTF-8&prev=%2Flanguage_tools";
   if (lang != "")
	{
		top.location.href=url;
	}
}

var lang = new Array();
lang["de"] = "Deutsch";
lang["es"] = "Español";
lang["en"] = "English";
lang["fr"] = "Français";
lang["it"] = "Italiano";
lang["pt"] = "Portuguese";
lang["ja"] = "日本語 Japanese";
lang["ko"] = "한국 Korean";
lang["zh-CN"] = "中国 Chinese";

document.write("<select id=\"trans\" onChange=dotrans(this.value);><option value=\"\">Translate This Page!</option>");
for(key in lang)
{
	if(typeof(lang[key]) != 'string')
		continue;
	document.write("<option value=\"" + key + "\">" + lang[key] + "</option>");
}
document.write("</select>");