function search_page(pageNo,url,extra) {  

      var url_vars = getUrlVars(url); 
      
      // don't do anything if we're at selected page
      if(pageNo == url_vars['leaf']) return;
    
      // check url rewrite
      if(url_vars['leaf']===undefined) {
            
        //alert(url+'/?leaf='+pageNo+extra); 
        var new_url='';
        if(url.indexOf('paintings') > -1 || url.indexOf('prints') > -1) {
        	new_url = url.slice(0, url.lastIndexOf('/')+1); 

        	if(url.indexOf('product.php') > 0) {
        		new_url=new_url+ 'product.php'; 
        	}else{
        		new_url=new_url+ 'search.php'; 
        	}
        }
        
        new_url = new_url+'?leaf='+pageNo+extra;
        window.location=new_url;
        return;
      }

      // set new pageNo & rebuild url variables
      url_vars['leaf'] = pageNo;
      var url_string='';
      for(var i in url_vars) {
        url_string += i + '='+url_vars[i]+'&';
      }

      // remove last &
      url_string = url_string.slice(0, -1);
     
      url = url.slice(0,url.indexOf('?')+1);      
      window.location=url+url_string+extra;
  }

  // Read a page's GET URL variables and return them as an associative array.
function getUrlVars(url)
{
    var vars = [], hash;
    var hashes = url.slice(url.indexOf('?') + 1).split('&');

    for(var i = 0; i < hashes.length; i++)
    {
        hash = hashes[i].split('=');
        vars[hash[0]] = hash[1];
    }

    return vars;
}

// for login page
function submitForm(formName,evt)
{
	var key = (evt) ? evt.which : event.keyCode;

	if(key==13) {
		if(formName=='login') {
			document.login.submit();
		}else if(formName=='register') {
			document.register.submit();
		}
	}
}