function __ws__(id){
	document.write(id.text);id.id='';
}