User:JorisvS/cleanup.js

function cleanup { var str = document.getElementById("xx").innerHTML; var txt = str.replace(" "," "); document.getElementById("xx").innerHTML = txt; }