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