ARM led blink LPC2124

#include<LPC21XX.h>
void delay(int s);
void delay(int s)
{
while(s--);
}
int main()
{
IO0DIR=(1<<9);//setting P0.09 as output
while(1)
{

delay(6500); // making the pin high
IO0SET=(1<<9);
delay(6500);
IO0CLR=(1<<9); // making the pin low
delay(6500);
}
}