function myFunction() {
    var input, filter, ul, li, a, i, txtValue;
    input = document.getElementById("numb");
    filter = input.value.toLowerCase();
	filter = filter.replace(/\s+/g, ''); // remove whitespaces
    ul = document.getElementById("gcontainer");
    li = ul.getElementsByTagName("DIV");
    for (i = 0; i < li.length; i++) {
        // a = li[i].getElementsByTagName("a")[0];
        txtValue = li[i].id
        if (txtValue.toLowerCase().indexOf(filter) > -1) {
            li[i].style.display = "";
        } else {
            li[i].style.display = "none";
        }
    }
}