function TextBox_Num1_8_onClicked() {
TextBox_setText("TextBox_Input", "" + TextBox_getText("TextBox_Input") + "9");

}
addHandler(document.getElementById("TextBox_Num1_8"), "click", TextBox_Num1_8_onClicked);
function TextBox_Num1_8_onMouseOver() {
setGlobalCursor("pointer");

}
addHandler(document.getElementById("TextBox_Num1_8"), "mouseover", TextBox_Num1_8_onMouseOver);
function TextBox_Num1_8_onMouseOut() {
setGlobalCursor("default");

}
addHandler(document.getElementById("TextBox_Num1_8"), "mouseout", TextBox_Num1_8_onMouseOut);