New variational principles for systems of partial differential equations

The question of finding variational principles for coupled systems of first order partial differential equations is considered. Using a potential representation for solutions of the first order system a higher order system is obtained. Existence of a variational principle follows if the original system can be transformed to a self-adjoint higher order system. Existence of variational principles for all linear wave equations with constant coefficients having real dispersion relations is established. The method of adjoining some of the equations of the original system to a suitable Lagrangian function by the method of Lagrange multipliers is used to construct new variational principles for a class of linear systems. The equations used as side conditions must satisfy highly-restrictive integrability conditions. In the more difficult nonlinear case the system of two equations in two independent variables can be analyzed completely. For systems determined by two conservation laws the side condition must be a conservation law in addition to satisfying the integrability conditions.

Anatomical and developmental patterns of interleukin-2 gene expression in the mouse: analysis of IL-2 expressing cells and partial characterization of interactions involved in mediating IL-2 gene expression in vivo

Interleukin-2 (IL-2) is an important mediator in the vertebrate immune system. IL-2 is a potent growth factor that mature T lymphocytes use as a proliferation signal and the production of IL-2 is crucial for the clonal expansion of antigen-specific T cells in the primary immune response. IL-2 driven proliferation is dependent on the interaction of the lymphokine with its cognate multichain receptor. IL-2 expression is induced only upon stimulation and transcriptional activation of the IL-2 gene relies extensively on the coordinate interaction of numerous inducible and constitutive trans-acting factors. Over the past several years, thousands of papers have been published regarding molecular and cellular aspects of IL-2 gene expression and IL-2 function. The vast majority of these reports describe work that has been carried out in vitro. However, considerably less is known about control of IL-2 gene expression and IL-2 function in vivo.

To gain new insight into the regulation of IL-2 gene expression in vivo, anatomical and developmental patterns of IL-2 gene expression in the mouse were established by employing in situ hybridization and immunohistochemical staining methodologies to tissue sections generated from normal mice and mutant animals in which T -cell development was perturbed. Results from these studies revealed several interesting aspects of IL-2 gene expression, such as (1) induction of IL-2 gene expression and protein synthesis in the thymus, the primary site of T-cell development in the body, (2) cell-type specificity of IL-2 gene expression in vivo, (3) participation of IL-2 in the extrathymic expansion of mature T cells in particular tissues, independent of an acute immune response to foreign antigen, (4) involvement of IL-2 in maintaining immunologic balance in the mucosal immune system, and (5) potential function of IL-2 in early events associated with hematopoiesis.

Extensive analysis of IL-2 mRNA accumulation and protein production in the murine thymus at various stages of development established the existence of two classes of intrathymic IL-2 producing cells. One class of intrathymic IL-2 producers was found exclusively in the fetal thymus. Cells belonging to this subset were restricted to the outermost region of the thymus. IL-2 expression in the fetal thymus was highly transient; a dramatic peak ofiL-2 mRNA accumulation was identified at day 14.5 of gestation and maximal IL-2 protein production was observed 12 hours later, after which both IL-2 mRNA and protein levels rapidly decreased. Significantly, the presence of IL-2 expressing cells in the day 14-15 fetal thymus was not contingent on the generation of T-cell receptor (TcR) positive cells. The second class of IL-2 producing cells was also detectable in the fetal thymus (cells found in this class represented a minority subset of IL-2 producers in the fetal thymus) but persist in the thymus during later stages of development and after birth. Intrathymic IL-2 producers in postnatal animals were located in the subcapsular region and cortex, indicating that these cells reside in the same areas where immature T cells are consigned. The frequency of IL-2 expressing cells in the postnatal thymus was extremely low, indicating that induction of IL-2 expression and protein synthesis are indicative of a rare activation event. Unlike the fetal class of intrathymic IL-2 producers, the presence of IL-2 producing cells in the postnatal thymus was dependent on to the generation of TcR+ cells. Subsequent examination of intrathymic IL-2 production in mutant postnatal mice unable to produce either αβ or γδ T cells showed that postnatal IL-2 producers in the thymus belong to both αβ and γδ lineages. Additionally, further studies indicated that IL-2 synthesis by immature αβ -T cells depends on the expression of bonafide TcR αβ-heterodimers. Taken altogether, IL-2 production in the postnatal thymus relies on the generation of αβ or γδ-TcR^+ cells and induction of IL-2 protein synthesis can be linked to an activation event mediated via the TcR.

With regard to tissue specificity of IL-2 gene expression in vivo, analysis of whole body sections obtained from normal neonatal mouse pups by in situ hybridization demonstrated that IL-2 mRNA^+ cells were found in both lymphoid and nonlymphoid tissues with which T cells are associated, such as the thymus (as described above), dermis and gut. Tissues devoid of IL-2 mRNA^+ cells included brain, heart, lung, liver, stomach, spine, spinal cord, kidney, and bladder. Additional analysis of isolated tissues taken from older animals revealed that IL-2 expression was undetectable in bone marrow and in nonactivated spleen and lymph nodes. Thus, it appears that extrathymic IL-2 expressing cells in nonimmunologically challenged animals are relegated to particular epidermal and epithelial tissues in which characterized subsets of T cells reside and thatinduction of IL-2 gene expression associated with these tissues may be a result of T-cell activation therein.

Based on the neonatal in situ hybridization results, a detailed investigation into possible induction of IL-2 expression resulting in IL-2 protein synthesis in the skin and gut revealed that IL-2 expression is induced in the epidermis and intestine and IL-2 protein is available to drive cell proliferation of resident cells and/or participate in immune function in these tissues. Pertaining to IL-2 expression in the skin, maximal IL-2 mRNA accumulation and protein production were observed when resident Vγ_3^+ T-cell populations were expanding. At this age, both IL-2 mRNA^+ cells and IL-2 protein production were intimately associated with hair follicles. Likewise, at this age a significant number of CD3ε^+ cells were also found in association with follicles. The colocalization of IL-2 expression and CD3ε^+ cells suggests that IL-2 expression is induced when T cells are in contact with hair follicles. In contrast, neither IL-2 mRNA nor IL-2 protein were readily detected once T-cell density in the skin reached steady-state proportions. At this point, T cells were no longer found associated with hair follicles but were evenly distributed throughout the epidermis. In addition, IL-2 expression in the skin was contingent upon the presence of mature T cells therein and induction of IL-2 protein synthesis in the skin did not depend on the expression of a specific TcR on resident T cells. These newly disclosed properties of IL-2 expression in the skin indicate that IL-2 may play an additional role in controlling mature T-cell proliferation by participating in the extrathymic expansion of T cells, particularly those associated with the epidermis.

Finally, regarding IL-2 expression and protein synthesis in the gut, IL-2 producing cells were found associated with the lamina propria of neonatal animals and gut-associated IL-2 production persisted throughout life. In older animals, the frequency of IL-2 producing cells in the small intestine was not identical to that in the large intestine and this difference may reflect regional specialization of the mucosal immune system in response to enteric antigen. Similar to other instances of IL-2 gene expression in vivo, a failure to generate mature T cells also led to an abrogation of IL-2 protein production in the gut. The presence of IL-2 producing cells in the neonatal gut suggested that these cells may be generated during fetal development. Examination of the fetal gut to determine the distribution of IL-2 producing cells therein indicated that there was a tenfold increase in the number of gut-associated IL-2 producers at day 20 of gestation compared to that observed four days earlier and there was little difference between the frequency of IL-2 producing cells in prenatal versus neonatal gut. The origin of these fetally-derived IL-2 producing cells is unclear. Prior to the immigration of IL-2 inducible cells to the fetal gut and/or induction of IL-2 expression therein, IL-2 protein was observed in the fetal liver and fetal omentum, as well as the fetal thymus. Considering that induction of IL-2 protein synthesis may be an indication of future functional capability, detection of IL-2 producing cells in the fetal liver and fetal omentum raises the possibility that IL-2 producing cells in the fetal gut may be extrathymic in origin and IL-2 producing cells in these fetal tissues may not belong solely to the T lineage. Overall, these results provide increased understanding of the nature of IL-2 producing cells in the gut and how the absence of IL-2 production therein and in fetal hematopoietic tissues can result in the acute pathology observed in IL-2 deficient animals.

Completions of epsilon-dense partial Latin squares

A classical question in combinatorics is the following: given a partial Latin square $P$, when can we complete $P$ to a Latin square $L$? In this paper, we investigate the class of textbf{$epsilon$-dense partial Latin squares}: partial Latin squares in which each symbol, row, and column contains no more than $epsilon n$-many nonblank cells. Based on a conjecture of Nash-Williams, Daykin and H"aggkvist conjectured that all $frac{1}{4}$-dense partial Latin squares are completable. In this paper, we will discuss the proof methods and results used in previous attempts to resolve this conjecture, introduce a novel technique derived from a paper by Jacobson and Matthews on generating random Latin squares, and use this novel technique to study $ epsilon$-dense partial Latin squares that contain no more than $delta n^2$ filled cells in total.

In Chapter 2, we construct completions for all $ epsilon$-dense partial Latin squares containing no more than $delta n^2$ filled cells in total, given that $epsilon < frac{1}{12}, delta < frac{ left(1-12epsilonright)^{2}}{10409}$. In particular, we show that all $9.8 cdot 10^{-5}$-dense partial Latin squares are completable. In Chapter 4, we augment these results by roughly a factor of two using some probabilistic techniques. These results improve prior work by Gustavsson, which required $epsilon = delta leq 10^{-7}$, as well as Chetwynd and H"aggkvist, which required $epsilon = delta = 10^{-5}$, $n$ even and greater than $10^7$.

If we omit the probabilistic techniques noted above, we further show that such completions can always be found in polynomial time. This contrasts a result of Colbourn, which states that completing arbitrary partial Latin squares is an NP-complete task. In Chapter 3, we strengthen Colbourn's result to the claim that completing an arbitrary $left(frac{1}{2} + epsilonright)$-dense partial Latin square is NP-complete, for any $epsilon > 0$.

Colbourn's result hinges heavily on a connection between triangulations of tripartite graphs and Latin squares. Motivated by this, we use our results on Latin squares to prove that any tripartite graph $G = (V_1, V_2, V_3)$ such that begin{itemize} item $|V_1| = |V_2| = |V_3| = n$, item For every vertex $v in V_i$, $deg_+(v) = deg_-(v) geq (1- epsilon)n,$ and item $|E(G)| > (1 - delta)cdot 3n^2$ end{itemize} admits a triangulation, if $epsilon < frac{1}{132}$, $delta < frac{(1 -132epsilon)^2 }{83272}$. In particular, this holds when $epsilon = delta=1.197 cdot 10^{-5}$.

This strengthens results of Gustavsson, which requires $epsilon = delta = 10^{-7}$.

In an unrelated vein, Chapter 6 explores the class of textbf{quasirandom graphs}, a notion first introduced by Chung, Graham and Wilson cite{chung1989quasi} in 1989. Roughly speaking, a sequence of graphs is called "quasirandom"' if it has a number of properties possessed by the random graph, all of which turn out to be equivalent. In this chapter, we study possible extensions of these results to random $k$-edge colorings, and create an analogue of Chung, Graham and Wilson's result for such colorings.

Em busca do convívio social: o regime semi-aberto no Instituto Penal Oscar Stevenson

O presente trabalho tem como objetivo central analisar o Sistema Penitenciário do Estado do Rio de Janeiro a partir do regime semi-aberto, tendo como campo de análise o Instituto Penal Oscar Stevenson, situado em Benfica, no município do Rio de Janeiro, voltado para um público carcerário feminino. Buscou-se verificar, sob o enfoque das presas, a expectativa e possibilidades de retorno ao convívio social; analisar os aspectos jurídico-institucionais referentes ao regime semi-aberto, no que tange a obtenção dos benefícios, junto a Lei de Execução Penal e identificar quais as parcerias que viabilizam a inserção delas no mercado de trabalho. Para a efetivação desse trabalho utilizou-se, preferencialmente os pressupostos teóricos e metodológicos da pesquisa quali-quantitativa, pois foi trabalhado não só no nível da objetividade, mas também no significado das ações e relações humanas, sabendo que a realidade prisional é perpassada por questões de cunho opressor, punitivo, em função de preconizar a segurança. Foram realizados também levantamentos de dados bibliográficos e censitários, bem como entrevistas semi-estruturadas junto aos agentes penitenciários do setor de educação e classificação e principalmente as presas. A análise do material coletado permitiu confirmar as hipóteses da pesquisa: i) que a ausência de oportunidades que garantam às presas os benefícios do regime semi-aberto não se dá por falta de instrumentos legais, mas sim pela burocracia no cadastramento e poucas parcerias de cursos profissionalizantes, empresas privadas que absorvam mão-de-obra das presas do regime semi-aberto; e ii) e que no momento em que as presas ainda estavam no regime fechado, não tiveram oportunidades de se capacitarem e também os vínculos familiares não foram mantidos, com isso dificultando que estas usufruam dos benefícios do regime semi-aberto. E, conseqüentemente, sendo cada vez mais adiado o seu retorno gradativo ao convívio social, através da progressão de regime.

The isolation and partial biochemical analysis of Sindbis virus proteins

Recently, the amino acid sequences have been reported for several proteins, including the envelope glycoproteins of Sindbis virus, which all probably span the plasma membrane with a common topology: a large N-terminal, extracellular portion, a short region buried in the bilayer, and a short C-terminal intracellular segment. The regions of these proteins buried in the bilayer correspond to portions of the protein sequences which contain a stretch of hydrophobic amino acids and which have other common characteristics, as discussed. Reasons are also described for uncertainty, in some proteins more than others, as to the precise location of some parts of the sequence relative to the membrane.

The signal hypothesis for the transmembrane translocation of proteins is briefly described and its general applicability is reviewed. There are many proteins whose translocation is accurately described by this hypothesis, but some proteins are translocated in a different manner.

The transmembraneous glycoproteins E1 and E2 of Sindbis virus, as well as the only other virion protein, the capsid protein, were purified in amounts sufficient for biochemical analysis using sensitive techniques. The amino acid composition of each protein was determined, and extensive N-terminal sequences were obtained for E1 and E2. By these techniques E1 and E2 are indistinguishable from most water soluble proteins, as they do not contain an obvious excess of hydrophobic amino acids in their N-terminal regions or in the intact molecule.

The capsid protein was found to be blocked, and so its N-terminus could not be sequenced by the usual methods. However, with the use of a special labeling technique, it was possible to incorporate tritiated acetate into the N-terminus of the protein with good specificity, which was useful in the purification of peptides from which the first amino acids in the N-terminal sequence could be identified.

Nanomole amounts of PE2, the intracellular precursor of E2, were purified by an immuno-affinity technique, and its N-terminus was analyzed. Together with other work, these results showed that PE2 is not synthesized with an N-terminal extension, and the signal sequence for translocation is probably the N-terminal amino acid sequence of the protein. This N-terminus was found to be 80-90% blocked, also by Nacetylation, and this acetylation did not affect its function as a signal sequence. The putative signal sequence was also found to contain a glycosylated asparagine residue, but the inhibition of this glycosylation did not lead to the cleavage of the sequence.

Time-dependent monoenergetic neutron transport in two adjacent semi-infinite media

An exact solution to the monoenergetic Boltzmann equation is obtained for the case of a plane isotropic burst of neutrons introduced at the interface separating two adjacent, dissimilar, semi-infinite media. The method of solution used is to remove the time dependence by a Laplace transformation, solve the transformed equation by the normal mode expansion method, and then invert to recover the time dependence.

The general result is expressed as a sum of definite, multiple integrals, one of which contains the uncollided wave of neutrons originating at the source plane. It is possible to obtain a simplified form for the solution at the interface, and certain numerical calculations are made there.

The interface flux in two adjacent moderators is calculated and plotted as a function of time for several moderator materials. For each case it is found that the flux decay curve has an asymptotic slope given accurately by diffusion theory. Furthermore, the interface current is observed to change directions when the scattering and absorption cross sections of the two moderator materials are related in a certain manner. More specifically, the reflection process in two adjacent moderators appears to depend initially on the scattering properties and for long times on the absorption properties of the media.

This analysis contains both the single infinite and semi-infinite medium problems as special cases. The results in these two special cases provide a check on the accuracy of the general solution since they agree with solutions of these problems obtained by separate analyses.

Alterations of the global water cycle and their effects on river structure, function and services

River structure and functioning are governed naturally by geography and climate but are vulnerable to natural and human-related disturbances, ranging from channel engineering to pollution and biological invasions. Biological communities in river ecosystems are able to respond to disturbances faster than those in most other aquatic systems. However, some extremely strong or lasting disturbances constrain the responses of river organisms and jeopardise their extraordinary resilience. Among these, the artificial alteration of river drainage structure and the intense use of water resources by humans may irreversibly influence these systems. The increased canalisation and damming of river courses interferes with sediment transport, alters biogeochemical cycles and leads to a decrease in biodiversity, both at local and global scales. Furthermore, water abstraction can especially affect the functioning of arid and semi-arid rivers. In particular, interception and assimilation of inorganic nutrients can be detrimental under hydrologically abnormal conditions. Among other effects, abstraction and increased nutrient loading might cause a shift from heterotrophy to autotrophy, through direct effects on primary producers and indirect effects through food webs, even in low-light river systems. The simultaneous desires to conserve and to provide ecosystem services present several challenges, both in research and management.

Effects of oxygen partial pressure on packing density and laser damage threshold of TiO2 thin films

TiO2 films are deposited by electron beam evaporation as a function of oxygen partial pressure. The packing density, refractive index, and extinction coefficient all decrease with the increase of pressure, which also induces the change of the film's microstructure, such as the increase of voids and H2O concentration in the film. The laser-induced damage threshold (LIDT) of the film increases monotonically with the rise of pressure in this experiment. The porous structure and low nonstoichiometric defects absorption contribute to the film's high LIDT. The films prepared at the lowest and the highest pressure show nonstoichiometric and surface-defects-induced damage features, respectively.(C) 2007 American Institute of Physics.

Expressão da leptina e seu receptor no câncer de próstata

O câncer de próstata é o tumor não cutâneo mais comum entre homens e responsável pela segunda maior mortalidade entre os tumores neste sexo. Diferentes métodos são utilizados com o objetivo de determinar o prognóstico do paciente portador de câncer de próstata, contudo existe grande heterogeneidade quando estes são usados individualmente. A leptina é um hormônio peptídico envolvido na regulação da ingestão alimentar, do metabolismo, do gasto energético, além de função neuroendócrina. Este hormônio parece estar envolvido na patogênese de alguns tipos de tumores, inclusive os adenocarcinomas de próstata. Até o presente não se tem certeza se a leptina e seu receptor possam ser utilizados como fatores prognósticos no cancer de próstata. O objetivo do trabalho foi correlacionar os perfis de imunomarcação da leptina e seu receptor em adenocarcinomas de próstata com diferentes fatores prognósticos e comparar as análises de imunomarcação da leptina e seu receptor em adenocarcinomas de próstata por métodos semiquantitativos e quantitativos (morfometria). Foram analisadas 532 peças cirúrgicas de prostatectomias radicais por câncer prostático. A partir destas amostras, após estudo histopatológico, foi montado um arranjo de matriz tecidual, contendo fragmentos de áreas tumorais e não tumorais (peritumorais) destas amostras. Estas foram imunomarcadas com anticorpos antileptina e antirreceptor de leptina. Análises subjetivas (feitas por dois observadores) e objetivas (através da contagem de pontos) foram realizadas em cada uma das imunomarcações. Estes resultados foram comparados e correlacionados com os seguintes fatores prognósticos: invasão perineural, embolização neoplásica vascular, comprometimento bilateral da próstata, invasão das vesículas seminais, comprometimento de margem vesical, de margem uretral e de margem cirúrgica de ressecção. Houve diferença significativa entre as análises subjetivas dos dois observadores e, portanto, estas não foram utilizadas para as demais comparações. Em relação às análises objetivas, foi verificado que a expressão do receptor de leptina estava diminuída nos tumores com comprometimento de margem cirúrgica, de margem uretral e de vesículas seminais. Ainda foi observado correlação entre a expressão desse receptor e o somátório dos fatores prognósticos analisados. Para as demais análises não foi verificada diferença significativa. Métodos semiquantitativos podem ter grande variação e devem ser preteridos em relação a métodos quantitativos para as análises realizadas neste estudo. Nem a leptina nem o seu receptor apresentaram alterações de sua expressão em amostras neoplásicas de próstata quando comparado àquelas não neoplásicas. O receptor de leptina apresentou uma diminuição da sua expressão em tumores com margem cirúrgica comprometida, margem uretral comprometida e com vesículas seminais comprometidas. Houve correlação negativa entre o percentual de área imunomarcada com o anticorpo antirreceptor de leptina e o somatório dos fatores prognósticos analisados.

Multimode radiation from an unflanged, semi-infinite circular duct with uniform flow.

Multimode sound radiation from an unflanged, semi-infinite, rigid-walled circular duct with uniform subsonic mean flow everywhere is investigated theoretically. The multimode directivity depends on the amplitude and directivity function of each individual cut-on mode. The amplitude of each mode is expressed as a function of cut-on ratio for a uniform distribution of incoherent monopoles, a uniform distribution of incoherent axial dipoles, and for equal power per mode. The directivity function of each mode is obtained by applying a Lorentz transformation to the zero-flow directivity function, which is given by a Wiener-Hopf solution. This exact numerical result is compared to an analytic solution, valid in the high-frequency limit, for multimode directivity with uniform flow. The high-frequency asymptotic solution is derived assuming total transmission of power at the open end of the duct, and gives the multimode directivity function with flow in the forward arc for a general family of mode amplitude distribution functions. At high frequencies the agreement between the exact and asymptotic solutions is shown to be excellent.

A simple technique of controlled breeding of carps in semi-arid environment

A semi-arid environment is a major constraint for production of carp seed through hypophysation. At a water temperature above 31 degree C fishes often fail to respond to induced breeding or produce partial or full eggs with fairly less fertilization, leading to their mortality during embryonic development. Field trials with Labee rohita and Cyprinus carpio communis prove that hypophysation followed by stripping and hatching in a water medium with reduced temperature (below 31 degree C) through controlled use of ice-water and water showers can result in 50-60% fertilization of eggs and 50-72% hatching for L. rohita, and 40-90% fertilization and 49-77% hatching for C. carpio communis. Simultaneous breeding experiments of the species in normal water temperature (>31 degree C) showed negative results.

Viscoelastic properties of bone as a function of hydration state determined by nanoindentation

Spherical indentation creep testing was used to examine the effect of hydration state on bone mechanical properties. Analysis of creep data was based on the elastic-viscoelastic correspondence principle and utilized a direct solution for the finite loading-rate experimental conditions. The zero-time shear modulus was computed from the creep compliance function and compared to the indentation modulus obtained via conventional indentation analysis, based on an elastic unloading response. The method was validated using a well-known polymer material under three different loading conditions. The method was applied to bone samples prepared with different water content by partial exchange with ethanol, where 70% ethanol was considered as the baseline condition. A hydration increase was associated with a 43% decrease in stiffness, while a hydration decrease resulted in a 20% increase in bone tissue stiffness.

Unified form language: A domain-specific language for weak formulations of partial differential equations

We present the Unified Form Language (UFL), which is a domain-specific language for representing weak formulations of partial differential equations with a view to numerical approximation. Features of UFL include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function space hierarchies formultifield problems, general differential operators and flexible tensor algebra. With these features, UFL has been used to effortlessly express finite element methods for complex systems of partial differential equations in near-mathematical notation, resulting in compact, intuitive and readable programs. We present in this work the language and its construction. An implementation of UFL is freely available as an open-source software library. The library generates abstract syntax tree representations of variational problems, which are used by other software libraries to generate concrete low-level implementations. Some application examples are presented and libraries that support UFL are highlighted. © 2014 ACM.

Optical properties of UO2 and PuO2

We perform first-principles calculations of electronic structure and optical properties for UO2 and PuO2 based on the density functional theory using the generalized gradient approximation (GGA) + U scheme. The main features in orbital-resolved partial density of states for occupied f and p orbitals, unoccupied d orbitals, and related gaps are well reproduced compared to experimental observations. Based on the satisfactory ground-state electronic structure calculations, the dynamical dielectric function and related optical spectra, i.e., the reflectivity, adsorption coefficient, energy-loss, and refractive index spectrum, are obtained. These results are consistent with the available experiments.

Exact result for the Green's function of a two-dimensional interacting electron gas with spin-orbit interaction in a perpendicular magnetic field

An exact property is established for the Green's function of a uniform two-dimensional interacting electron gas in a perpendicular magnetic field with spin-orbit interaction. It is shown that the spin-diagonal Green's function is exactly diagonal in the Landau level index even in the presence of electron-electron interactions. For the Green's function with different spin indexes, only that with adjacent Landau level indexes is non-zero. This exact result should be helpful in calculating the Green's function approximately.