  window.location.href = url + '#' + hash + anchor_opt;
         }
   	  </script>
    
        </head>
        <body class="value">
      <div id="definition">
        <img alt="Package" src="../../../../../../../../lib/package_big.png" />
        <p id="owner"><a href="../../../../../../../package.html" class="extype" name="com">com</a>.<a href="../../../../../../package.html" class="extype" name="com.microsoft">microsoft</a>.<a href="../../../../../package.html" class="extype" name="com.microsoft.azure">