var content = [];

content[0]  = 'menu_0';
content[1]  = 'menu_1';
content[2]  = 'menu_2';
content[3]  = 'menu_3';
content[4]  = 'menu_4';
content[5]  = 'menu_5';
content[6]  = 'menu_6';
content[7]  = 'menu_7';

function setMenu(id) {
  document.getElementById('menu').src = 
  document.getElementById(content[id]).src;
}
