<!--
function show_window()
{
document.getElementById('okno_jazyka').style.display = 'block';
}

function hide_window()
{
document.getElementById('okno_jazyka').style.display = 'none';
}
//-->