/* script that changes text according to language selected */
function lang_change(user_lang) {
	if ( user_lang == 'en' ) {
		document.getElementById('txt_gr').style.display = 'none';
		document.getElementById('txt_en').style.display = 'block';
	}
	else {
		document.getElementById('txt_en').style.display = 'none';
		document.getElementById('txt_gr').style.display = 'block';
	}
}