function ChangePadding() {
    if (navigator.userAgent.match(/MSIE/)) {
        var mydiv = document.getElementById("topmenu-design");
        mydiv.style.paddingTop = "50px";
    }
}