Hashtable getElementAttributes(String name)
    {
        Object element[] = (Object[]) elementInfo.get(name);
        if (element == null) {
            return null;
        } else {
            return (Hashtable) element[2];
        }
    }