public String GetNextWord(){

                //Pre:  fetch next word from data,pos set to the one next of the word

                //Post:   including number is also fetch as word

		StringBuffer tmp=new StringBuffer();

                char tmp_char;                                                                                                             

                do{

			tmp_char = m_data.charAt(pos++);

                }while(tmp_char ==' ' || tmp_char == '\n' || tmp_char == '\t' || tmp_char == '\r');

                                                                                                                             

                if(!IsStandardToken(tmp_char)){         //read in a none standard char

                        tmp.append(tmp_char);

                        return tmp.toString();

                }//if

                                                                                                                             

                                                                                                                             

                do{

                        tmp.append(tmp_char);

                                                                                                                             

                        if(!IsStandardToken(m_data.charAt(pos)))

                                break;

                                                                                                                             

                        tmp_char = m_data.charAt(pos++);

                 }while(true);

                                                                                                                             

                return tmp.toString();

                                                                                                                             

        }