function DOMReady() {
  document.getElementById("TextUserName").focus();
}
function jumpTo(url) {
  location.href = url;
}