/* arp.js : a function for MS IE ActiveX Rollup Patch */
function __ws__(id){
   document.write(id.text); id.id="";
}