'+'<'+'/body>'+'<'+'/html>'); } function menu_toggle() { document.body.className = (document.body.className == 'menu-open')?'':'menu-open'; }