用Keil uVision4软件编写一个STC89C52RC单片机的程序，利用外部中断设计一个按键计数器，要求采用外部中断判断KEY1被按下，每次按下KEY1后记录按下次数加一，并且能在数码管上显示，能够从0计数至9999。 要求编写完整的程序

在Keil uVision4环境下编写STC89C52RC单片机程序，首先需要确保你已经安装了对应的库文件支持该处理器。下面是一个基本的按键计数器程序框架，我们将使用定时器T0配合外部中断INT0来实现功能：

#include <reg52.h>
#include "LCD.h" // 假设LCD.h是你自定义的用于控制数码管的头文件

// 定义全局变量
unsigned char count = 0; // 计数器
unsigned char key_state = 0; // KEY1的状态

// 外部中断函数
void EXTI0_IRQHandler(void) {
    if (P3^0 == 0) { // 判断KEY1是否按下
        key_state = 1;
    } else {
        key_state = 0;
    }
}

// 主函数
void main(void) {
    TR0 = 1; // 启动定时器T0
    EA = 1;   // 开启全局中断
    ET0 = 1;  // 设置T0为外部中断模式
    P3^0 = 1; // 设置KEY1为输入并拉高

    LCD_Init(); // 初始化数码管
    while(1) {
        if (key_state == 1 && count <= 9999) { // 按键触发，更新计数
            count++;
            LCD_DisplayNumber(count); // 显示计数值
            if (count == 10000) { // 达到最大值，清零并显示
                count = 0;
                LCD_Clear();
            }
        }
        __delay_ms(100); // 暂停一段时间防止快速按键触发
    }
}

// LCD相关函数在这里省略，你需要提供实际的LCD驱动函数