var widget_content = "\n\n<div style=\"background: #c0c0c0\">No products found</div>\n\n\n"

var dest_div_name = '';

if(dest_div_name != '') {
 var dest_div = document.getElementById(dest_div_name);
 dest_div.innerHTML = widget_content;
} else {
 document.write(widget_content);
}

