function translate (lang) {
	var lang
	var w=location.href;
	w = w.replace(/:/g,'%3A');
	w = w.replace(/\//g,'%2F');
	w = w.replace(/,/g,'%2C');
	w = w.replace(/;/g,'%3B');
	w = w.replace(/#/g,'%23');
	var a="http://translate.google.com/translate";
	var b="?u="+w+"&langpair=en%7C";
	var c="&hl=en&ie=UTF-8&oe=UTF-8&prev=%2Flanguage_tools";
	window.open(href=a+b+lang+c);
}