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

/*GNU GPL*/