var results_location = 'indexgr.php?do=results';
var result_location = 'indexgr.php?do=result';
function search_form(tip_Form)
{
    if (tip_Form.d.value.length >= 3)
    {
        document.cookie = 'tid=' + escape(tip_Form.d.value) + '; path=/';
        document.cookie = 'tin=0; path=/';
        window.location = results_location;
    }
    else if (tip_Form.d.value.length <= 2)
    {
        window.location = result_location;
    }
}