I will discuss phenomenology of KKLT (Kachru-Kallosh-Linde-Trivedi) flux compactification of type IIB string theory. In this scenario moduli are stabilized by fluxes and nonperturbative dynamics while a de Sitter vacuum is obtained by adding supersymmetry breaking lifting potential. The soft terms in the visible sector get comparable contributions from moduli mediation and from anomaly mediation, which leads to distinct phenomenological properties.