function highlightContact()
{
        var cont=document.getElementById("contact");
        cont.style.backgroundColor="red";
        cont=document.getElementById("contacttel");
        cont.style.backgroundColor="red";
}