Servo Not working

I am building a remote controlled mouse trap that will be loaded with airsoft BBs. I have a RF Key fob and receiver. I just need a code that will make the servo rotate 90 degrees when the button goes high, then -90 degrees when it goes low. This is the code I have now. COuld someone please revise it?

#include <Servo.h> 
 
Servo myservo;
int buttonPin = 2;
int pos = 0;

void setup() 
{ 
  myservo.attach(9); 
  pinMode(buttonPin, INPUT); // attaches the servo on pin 9 to the servo object 
} 
 
 
void loop(){

  buttonState = digitalRead(buttonPin);
  { 
  if (buttonState == HIGH);
    (pos = 90);{
  if (buttonState == LOW);
    (pos = 0);
  }
  {                                
    myservo.write(pos);              // tell servo to go to position in variable 'pos' 
    delay(15);                       // waits 15ms for the servo to reach the position 
    }
}

I won't revise it - I'll leave that to you; however, I will give you a clue - braces.

;)

have you wired everything properly?

Too many semicolons.

Do you get errors when you try to compile the code?

if (buttonState == HIGH)[glow];[/glow]