4、 用Javascript编写代码显示时间，格式如09:07:23。要求：用户输入1个数，如数字小于10，则前面补0，如09 03等。

在JavaScript中，你可以使用`Date`对象获取当前时间，并结合字符串处理函数来实现这个功能。这里是一个简单的示例，让用户输入时间，然后格式化输出：

function formatTime() {
    // 获取用户输入的时间，如果没有输入，默认为当前时间
    let userInput = parseInt(prompt("请输入时间(格式：分钟)，例如：09或15:30"));
    
    // 验证输入是否有效，如果小于等于0则提示并返回
    if (isNaN(userInput) || userInput < 0) {
        alert("无效的时间输入，请输入一个正整数");
        return;
    }

    // 如果分钟数小于10，在前面补0
    let formattedTime = String(userInput).padStart(2, '0');
    
    // 创建一个新的Date实例，设置时间为0分钟
    const date = new Date();
    date.setMinutes(formattedTime);

    // 格式化为"HH:mm:ss"
    const timeFormat = `${date.getHours()}:${formattedTime}:${date.getSeconds()}`;
    
    console.log(timeFormat);
}

formatTime();

在这个例子中，用户输入的是分钟数，如果需要小时数，你需要在代码中添加相应的处理。运行此代码会提示用户输入，然后按照指定格式显示。