ref: 0a75a1ace6558b0d1be46e1a27ebf92c8b637010 dir: /domino/jqueryui/tabs.js/
$( function() { $( "#tabs" ).tabs(); } );