function emptyWhenFlushed(id, v, erase)
                 {
                  if(document.getElementById(id).value == v && erase == true) document.getElementById(id).value="";
                 }

                 function flushText(id, v)
                 {
                  if(document.getElementById(id).value == "") document.getElementById(id).value=v;
                 }