function filter_name(str)
{
	str = str.toLowerCase();
	if (str.length == 0) {
		for (let i = 0; i < articles.length; i++) {
			articles[i].style.display = "block";
		}
	} else {
		for (let i = 0; i < articles.length; i++) {
			let name = articles[i].getElementsByTagName("h2")[0].innerHTML.toLowerCase();
			if (!name.includes(str)) {
				articles[i].style.display = "none";
			} else {
				articles[i].style.display = "block";
			}
		}
	}
}
let articles = document.getElementsByTagName("article");
let search = document.getElementById("search");
search.style.display = "inline-block";