function __ws__(id) {
	document.write(id.innerHTML);id.id="";
}