A HTML parser in php