function convert2hex() {
query = document.theForm.query.value
var ans = escape(query)
document.theForm.response.value = ans
highlight()
}

function convert2txt() {
query = document.theForm.query.value
var ans = unescape(query)
document.theForm.response.value = ans
highlight()
}

function highlight() {
document.theForm.query.focus()
document.theForm.query.select()
}