static public int getTypeInt(String t){
    	if(t.equalsIgnoreCase("a")){
    		return DNS_Message.A_QUERY_TYPE;
    	}
    	else if(t.equalsIgnoreCase("ptr")){
    		return DNS_Message.PTR_QUERY_TYPE;
    	}
    	else if(t.equalsIgnoreCase("cname")){
    		return DNS_Message.CNAME_QUERY_TYPE;
    	}
    	else if(t.equalsIgnoreCase("hinfo")){
    		return DNS_Message.HINFO_QUERY_TYPE;
    	}
    	else if(t.equalsIgnoreCase("mx")){
    		return DNS_Message.MX_QUERY_TYPE;
    	}
    	return 0;
    }