// JavaScript Document
function Button_Over(button) {
    document.getElementById(button).style.textDecoration = "underline";
}
function Button_Out(button) {
    document.getElementById(button).style.textDecoration = "none";
}