/*window.onload=function(){
var as = [];
$S('a').each(function(a){
if (a.getAttribute('rev')) as.push(a);
});
new Tips(as, {maxOpacity: 0.9, maxTitleChars: 30});
}*/