6677 arduino to picaxe

    #define led 13
    void setup()
    {
      // put your setup code here, to run once:
      pinMode(led, OUTPUT);
    }

    void loop()
    {
      high(led);
      pause(500);
      low(led);
      pause(500);
    }

    void high(int pin) {
      digitalWrite(pin, HIGH);
    }
    void low(int pin) {
      digitalWrite(pin, LOW);
    }
    void pause(unsigned long time) {
      delay(time);
    }