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