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