function AutoRefresh(){var Tempo=parseInt(document.title.substring(document.title.indexOf(':')+1))-1; if (Tempo<0) {Tempo=0}; document.title=document.title.substring(0,document.title.indexOf(':')+1) + ' ' + Tempo; setTimeout("AutoRefresh();", 1000); }