var lang_box = {

  mouse_in: false,

  box_open: false,

  timer_set: false,

  expand: function() {

    document.getElementById('lang_box_selector').style.visibility='visible';

  },

  collapse: function() {

    document.getElementById('lang_box_selector').style.visibility='hidden';

  }

}



function image_show(name) {

	document.getElementById(name).src = "images/"+name+".png";

}

function image_hide(name) {

	document.getElementById(name).src = "images/"+name+"_hide.png";

}