5){ $laadtijd=$eindtijd; $laadtijdtotaal=0; } echo "\t";echo 'Connectie tijd van de server '.$laadtijdtotaal.'
';echo "\n"; $microend = microtime();$split = explode(" ", $microend);$exactend = $split[0]; $seconden = date("U");$eindtijd = $exactend + $seconden;$difference = ($eindtijd - $begintijd); $parsetijd = round($difference,6); if($laadtijdtotaal==0){ $parsetijd=0; } $fijnafstelling=(($laadtijdtotaal+$parsetijd)*1000); echo 'Tijd om de pagina te parsen '.$parsetijd.'
';echo "\n";?> Beschikbaar voor browser in ".$show."
"; ?>