function changeIdMenu(typeorigine, replacetype) { try{ if(!document.getElementById && !document.createTextNode){return;} var menu = document.getElementById(typeorigine); menu.setAttribute( 'id', replacetype ); }catch(E){} }