int ledPIN;
int ledRED = 12;
int ledYLW = 11;
int ledGRN = 10;
int button = 2;
int val    = 0;
int ourrenState = 0;
int previousState = 0;
int counter = 0;

void setup()
{
  pinMode(ledPin, OUTPUT);
  pinMode(ledRed, OUTPUT);
  pinMode(ledYLW, OUTPUT);
  pinMode(ledGRN, OUTPUT);
  pinMode(button, INPUT);
  Serial begin(9600);