function search() {
window.location.href = "https://duckduckgo.com/?q=" + document.getElementById("search").value
}