function options(n){
  switch(n){
    case 0: document.getElementById("optionsMenu").innerHTML="<a onclick='widthEffect.toggle();options(1);' class='fixed'>[-]</a>"; break;
    case 1: document.getElementById("optionsMenu").innerHTML="<a onclick='widthEffect.toggle();options(0);' class='fixed'>[+]</a>"; break;
  }
}