DevTools - Revision 7597: /core_devl/branches/gitBuilder/TOOLS/LIB/HTML