'; AllTests::main(); echo ''; ?>