function textIn(txt) { document.getElementById('textswap').innerHTML = txt;}