function swapRub(rub, menu, col) {
  if (menu != currPage)
    rub.src = '/gfx/' + menu + '-' + col + '.gif';
}