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