document.write('<strong>Products for PHP:</strong><br><br><UL><LI><a href="php/coverage/index.html">Coverage Validator</a></LI><LI><a href="php/flow_tracer/index.html">Bug Validator</a></LI><LI><a href="php/profiler/index.html">Performance Validator</a></LI></UL>');