function set_product_right_margin(){

   if(document.getElementById('pagination_div_ID') != null)
      document.getElementById('products_right_top').style.display = "block";

}