function toggleSBSize(big) {
    var sb = document.getElementById('searchbox');
    if (big)
        sb.size = '25';
    else
        sb.size = '12';
}