function mps(menuName) {
  if (top.frames['menu']) {
    top.frames['menu'].select(menuName);
  } else {
    setTimeout("mps('"+menuName+"')",100);
  }
}