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