<script language="javascript">
v=new Date(); function t(){
n=new Date(); ss='.$refresh.'; s=ss-Math.round((n.getTime()-v.getTime())/1000); m=0;h=0;
if(s <= 0){ document.location.href="buildings.php";}
else{
document.getElementById("bxx").innerHTML=pretty_time(s);
document.getElementById("dxx").style.width=100-Math.round(s/'.$time.'*100)+"%";}
window.setTimeout("t();",1000);}
window.onload=t;
</script>

<script language="javascript">
    var build_time = 13722
    var build_to_do =13701;
function time_build(){
build_to_do = Math.floor(build_to_do - 0.1);
percent = 100 - Math.floor(build_to_do/build_time*100);
                        
if(percent < 0) percent = 0;
if(percent > 100) {
document.location.href="buildings.php";
} else {
document.getElementById("bxx").innerHTML=pretty_time(build_to_do);
document.getElementById("dxx").style.width=percent + '%';
}
window.setTimeout("time_build();",1000);
}
window.setTimeout("time_build();",1000);
</script>