var objTitlebar = document.getElementById("titlebar");
var objLinkCover = document.getElementById("linkcover");

// only do so if #titlebar exists, and #linkcover hasn't already been added
if (objTitlebar && !objLinkCover) {
    var linkcover = document.createElement("div");
    linkcover.id = "titlelink_library";
    linkcover.innerHTML = " ";
    objTitlebar.appendChild(linkcover);

    //linkcover.style.background = "#f00";
    linkcover.style.position = "absolute";
    linkcover.style.top = "20px";
    linkcover.style.left = "270px";
    linkcover.style.zIndex = 200;
    linkcover.style.width = "380px";
    linkcover.style.height = "60px";
    linkcover.style.cursor = "pointer";
    //linkcover.style.opacity = 0.1;

    linkcover.onclick = function(e) {
	location.href = "/library/index.shtml";
    }

    objTitlebar.style.position = "relative";
}