const inputElement = document.getElementById('input')as HTMLFormElement; const box = document.getElementById('response_text')as HTMLFormElement; const response_text = document.getElementById('response_text')as HTMLFormElement; inputElement.addEventListener('keydown', function(event) { if (event.key === 'Enter'){ convert_form(); } }) function convert_form(): string { const user_input = inputElement.value; if (user_input == "") { return "error"; } else { const converted_user_input = user_input.replace(/ /g, ""); converted_user_input.trim(); box.textContent = converted_user_input; inputElement.value = ''; copy_to_clipboard(); return converted_user_input;} } function copy_to_clipboard() { const text_to_copy = response_text.textContent; navigator.clipboard.writeText(text_to_copy); }