//<a href='javascript:visitLibrary("Clipboard_ConvertToPlainText")'></a>

function visitLibrary(name) {
    var url = getLibraryUrl(name);
    location.href=url;  
    return false;
}

function getLibraryUrl(name) {
    var prefix;
    if (name == "Library")
        prefix = "N_";
    else if (name.indexOf(".") == -1)
        prefix = "T_Library_";
    else {
        prefix = "M_Library_";
        name = name.replace(".","_");
    }
    var url = "/v3/FunctionLibrary/index.html?topic=html/" + prefix + name + ".htm";
    return url;
}

function composeTo(firstPart, secondPart) {
    window.location = 'mailto:' + firstPart + '@' + secondPart;
}