// JavaScript Document

function showMenu(){
  if ( document.getElementById ){
	var myMenu = document.getElementById('menu_reins');
	if( myMenu ){
		document.getElementById('menu_reins').style.display = "block";
	}
  }
}