def on_forever():
    DriveBit.set_led_color(0xFF0000)
    basic.pause(1000)
    DriveBit.set_led_color(0x18E600)
    basic.pause(1000)
    DriveBit.set_led_color(0x0080FF)
    basic.pause(1000)
    DriveBit.set_led_color(0xFFFFFF)
    basic.pause(1000)
basic.forever(on_forever)