function getTags(){
    str = document.getElementById("Searchbox").value;
    stretcher.stretch(event);
    if(str.length > 0)
     {
        largeWindow();
        var Output = widget.system("/usr/bin/php TagsHTML.php '" + str + "'", null).outputString;
        xmlRequest = new XMLHttpRequest();
        xmlRequest.setRequestHeader("Cache-Control", "no-cache");
        xmlRequest.setRequestHeader("If-Modified-Since", "Sat, 1 Jan 2000 00:00:00 GMT");
        xmlRequest.open("GET","Output.txt",null);
        xmlRequest.onreadystatechange = function()
        {
            if(xmlRequest.readyState == null) return;
            if(xmlRequest.readyState == 4)
            {
                document.getElementById("Tags").innerHTML = xmlRequest.responseText;
            }
        }
        xmlRequest.send(null);
    }
    else
    {
        smallWindow();
    }
}