function decode(){var packed=document.getElementById('packed');eval("packed.value=String"+packed.value.slice(4))};function selectAllText(id){var myObj=document.getElementById(id);myObj.focus();myObj.select();return true}