function select(){document.form.translated.focus();}
function add_special(character){document.form.translated.value = document.form.translated.value + character;}
