output(); if(VERBOSE) echo '
Scriptlaufzeit: '.round(microtime(1)-$t, 4).' sec'; ?>