function js_ClearDefault(thefield) {

    if (thefield.defaultValue == thefield.value)
        thefield.value = ""

}

function LoadMenu() {
    document.getElementById("nav").style.display = 'inline';
}