var pos = 0;

function circle_increment(len)
{
    pos++;
    pos%=len;
    return pos;
}

function banner_rotate()
{
    var div = document.getElementById("chevron_banner");
    var arr = div.getElementsByTagName("div");
    arr[pos].style.display = "none";
    arr[circle_increment(arr.length)].style.display = "block";
}

function cleanSearchText()
{
    var div = document.getElementById("edit-search-theme-form-1");
    if(div.value=="Search...") div.value="";
}