function loadtext(filename) {
    var req = new XMLHttpRequest();
    req.open("GET", filename, false);
    req.send();
    // TODO error checking