$(document).ready(function() {
    var e = document.getElementById("mainnav");
    if (e==null){
        var e = document.getElementById("globalheader");
        if (e) e.className += " globalheader-basic";
    }
});