//
// Statuszeile
//
window.defaultStatus = "PHP-Benchmarks";