/* Tips 1 */
window.addEvent('domready', function() {
  var Tips1 = new Tips($$('.Tips1'));
});