TML = box.innerHTML.replace("LOCATION", encodeURI(document.location)
                                                      + "?raw");
                box.style.display = "block";
            }

            function sortTable(column) {
                var theader = document.getElementById("theader");
                var oldOrder = theader.cells[column].dataset.order || '1';
                oldOrder = parseInt(oldOrder, 10)
                var newOrder = 0 - oldOrder;
                theader.cells[column].dat