function anonymous(obj
) {
var p=[],print=function(){p.push.apply(p,arguments);};with(obj){p.push(''); jQuery.each(items, function (i, item) { p.push('  <div class=\'nav-item\'>    ',item ,'  </div>'); }); p.push('');}return p.join('');
}