function getTargetBookmarklet() {
    var script = targetBookmarkletFunction.toString();
    script = script.replace(/\n/g,   "")
    script = script.replace("targetBookmarkletFunction","")
    script = script.replace(/\s*/g, "")
    script = script.replace("???", buildHttpURL("target/target-script-min.js#" + weinre_id))
    script = "(" + script + ')(document.createElement("script"));void(0);'
    return 'javascript:' + script
}
function getTargetBookmarklet() {
    var script = targetBookmarkletFunction.toString();
    script = script.replace(/\n/g,   "")
    script = script.replace("targetBookmarkletFunction","")
    script = script.replace(/\s*/g, "")
    script = script.replace("???", buildHttpURL("target/target-script-min.js#" + weinre_id))
    script = "(" + script + ')(document.createElement("script"));void(0);'
    return 'javascript:' + script
}
function getTargetBookmarklet ( ) { var script = targetBookmarkletFunction . toString ( ) ; script = script . replace ( / \n / g , "" ) script = script . replace ( "targetBookmarkletFunction" , "" ) script = script . replace ( / \s* / g , "" ) script = script . replace ( "???" , buildHttpURL ( "target/target-script-min.js#" + weinre_id ) ) script = "(" + script + ')(document.createElement("script"));void(0);' return 'javascript:' + script }
-----------------------------------------------------------------------------
-----------------------------------------------------------------------------
Get the target bookmarklet