function indent(){document.getElementById("indent").style.marginLeft="-20px";}