ment.getElementById("greeting").appendChild(document.createTextNode(greeting));
document.getElementById("navbar-homepage").setAttribute("href", homepage);
document.getElementById("homepage").setAttribute("href", homepage);
document.getElementById("logo").setAttribute("src", logo.replace("../",""));
document.getElementById("biglogo").setAttribute("src", logo.replace("../",""));
document.getElementById("search").setAttribute("placeholder", queryplaceholder);
</script>
</body>
</html>