  We prove an existence and uniqueness result for the obstacle problem of
quasilinear parabolic stochastic PDEs. The method is based on the probabilistic
interpretation of the solution by using the backward doubly stochastic
differential equation.
