$\mathbf{Localization\,\,forcing}$, $\mathbb{Loc}$ consists of all pair $\langle \sigma, F\rangle$ such that $\sigma\in([\omega]^{<\omega})^{<\omega}$ is a finite sequence with $|\sigma(n)|=n$ for all $n<|\sigma|$ and $F$ is a finite set of reals with with $|F|\leq|\sigma|$. The order is given by $\langle\tau,G\rangle\leq\langle\sigma,F\rangle$ if and if $\tau\supseteq\sigma$, $G\supseteq F$, and $f(n)\in\tau(n)$ for all $f\in F$ and all $n\in|\tau|\smallsetminus|\sigma|$.
I would like to know where I can find that $\mathbb{Loc}$ adds a random real (many ramdon reals) or give me a suggestion how to prove this statements.
Can somebody help me on this. Any help will be much appreciated.