add new html 8,13,and java symbol table