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