var deftitle="Holiday Houses il mini portale";
var titletext="Hello, Benvenuti in Holiday Houses!";
var index=0;

function scrolltitle(){
if(index<=titletext.length){
document.title=titletext.substring(0,index);
index++;
setTimeout('scrolltitle()', 200);
}else{
setTimeout('document.title=deftitle', 1000);
}}