function search() {
	var regex = /[\u4e00-\u9fa5]+/;
	var a = key.value;
	if (regex.test(a)) {
		var result = '';
		var b;
		for ( var i = 0; i < a.length; i++) {
			b = a.charCodeAt(i);
			result += '\\u' + b.toString(16);
		}
		window.location = 'search_cn.jsp?key=' + result;
	} else {
		window.location = 'search_en.jsp?key=' + a;
	}
}

function query() {
	if (event.keyCode == 13) {
		document.getElementById("search").click();
		event.returnValue = false;
	}
}