// JavaScript Document

var tt = "";
function abbr() {
 $('title').innerHTML = tt;
 while ( $('header').scrollHeight > 100 )
   $('title').innerHTML =
$('title').innerHTML.replace(/(.*?).(?:\.\.\.)?$/,'$1') + '...';
}

Event.observe(window,'resize',abbr);
Event.observe(window,'load',function(){
   tt = $('title').innerHTML;
   abbr();
});