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