function highlight(img){
	if(img == "eng"){
		document[img].src = '../images/flag_'+img+'.gif';
	}else{
		document[img].src = 'images/flag_'+img+'.gif';
	}
}
function grey(img){
	if(img == "eng"){
		document[img].src = '../images/flag_'+img+'_non.gif';
	}else{
		document[img].src = 'images/flag_'+img+'_non.gif';
	}
}