var tit=document.title;var c=0;function writetitle(){document.title=tit.substring(0,c);if(c==tit.length)
{c=0;setTimeout("writetitle()",2500)}
else{c++;setTimeout("writetitle()",100)}}
writetitle()