if((menutxt)&&(menutxt!='')){
  document.write(menutxt);
}