function d(e) {var menuElem = document.getElementById(e); document.getElementById('mbnsnl').innerHTML = menuElem ? menuElem.innerHTML : "";}