window.addEvent('domready', function() {
	SplashHover();
});

/*
window.addEvent('load', function() {
	
});
*/

function SplashHover() {
	var SplashTip = new Tips ($$('a.mailto'));

	SplashTip.addEvent('mouseenter', function(tip){
	    tip.fade('in');
	});
}