window.onload=function()
  {
	/* setup tooltips */
	var as = [];
	$S('a').each(function(a){
		if (a.getAttribute('title')) as.push(a);
	});
	new Tips(as, {maxOpacity: 0.8, maxTitleChars: 25});
  }