<!--
function doRedirect(url) 
{
    location.href=url;
    return false;
}
function ClearTextBox(textbox) {
   if (textbox.value == "Mobilnr") {
        textbox.value = "";
    }
    textbox.style.color = "#000000";
}
function ResetTextBox(textbox) {
    if (textbox.value == "") {
        textbox.style.color = "#686868";
        textbox.value = "Mobilnr";
    }
}
-->