function display_menu (main,sub) {
  var content01 = main == 0 && sub == 0 ? true : false;
  var content01_01 = main == 1 && sub == 0 ? true : false;
  document.write('    <div id="menu"><strong id="sub_menu_head">Center for International Education Menu</strong>');
  document.write('      <ul>');
  if (content01 == true) {
    document.write('        <li><p id="content01_selected">Center for International Education</p><ul>');
  } else {
    document.write('        <li><a href="/asp/02_international_programs/05.html" id="content01">Center for International Education</a><ul>');
  }
  if (content01_01 == true) {
    document.write('          <li><p id="content01_01_selected">Administrative Staff</p><ul>');
  } else {
    document.write('          <li><a href="/asp/02_international_programs/05/01.html" id="content01_01">Administrative Staff</a><ul>');
  }
  document.write('          </ul></li>');
  document.write('        </ul></li>');
  document.write('      </ul></div>');
}