if (chkdiv('txml')) {document.getElementById('txml').innerHTML='

';}