let Button1 = ""
basic.showLeds(`
    . . . . .
        . . . . #
        . . . # .
        # . # . .
        . # . . .
`)
basic.pause(1000)
basic.clearScreen()
while (true) {
    makerbit.connectIrReceiver(DigitalPin.P0, IrProtocol.NEC)
    Button1 = convertToText(makerbit.irDatagram())
    if (Button1 == "0x807F00FF") {
        basic.showNumber(0)
    }
    
    if (Button1 == "0x807F807F") {
        basic.showNumber(1)
    }
    
    if (Button1 == "0x807F906F") {
        basic.showNumber(2)
    }
    
    if (Button1 == "0x807FA05F") {
        basic.showNumber(3)
    }
    
    if (Button1 == "0x807F40BF") {
        basic.showNumber(4)
    }
    
    if (Button1 == "0x807F20DF") {
        basic.showNumber(5)
    }
    
    if (Button1 == "0x807F50AF") {
        basic.showNumber(6)
    }
    
    if (Button1 == "0x807F02FD") {
        basic.showNumber(7)
    }
    
    if (Button1 == "0x807F12ED") {
        basic.showNumber(8)
    }
    
    if (Button1 == "0x807F609F") {
        basic.showNumber(9)
    }
    
    if (Button1 == "0x807FC03F") {
        basic.showNumber(10)
    }
    
    if (Button1 == "0x807FD02F") {
        basic.showNumber(11)
    }
    
    if (Button1 == "0x807F22DD") {
        basic.showNumber(12)
    }
    
    if (Button1 == "0x00000000") {
        basic.showIcon(IconNames.No)
    }
    
}