function navthis() {
    ul = document.getElementById('ullinks');
    lis = ul.getElementsByTagName('li');
    for (i=0;i<lis.length;i++) {
        if (lis[i].id == "thisli") {
            lis[i].className = "thislink";
        }
    }
}