function flags2(lang){
	document.search.langflags.value = lang;
	document.search.submit();
}