1: \begin{abstract}

2: Let $K$ be a number field and ${\mathcal O}$ be the ring of

3: $S$-integers in $K$.  Morgan, Rapinchuck, and Sury have proved that if

4: the group of units ${\mathcal O}^{\times}$ is infinite, then every

5: matrix in ${\rm SL}_2({\mathcal O})$ is a product of at most $9$

6: elementary matrices.  We prove that under the additional hypothesis

7: that $K$ has at least one real embedding or $S$ contains a finite

8: place we can get a product of at most $8$ elementary matrices.  If we

9: assume a suitable Generalized Riemann Hypothesis, then every matrix in

10: ${\rm SL}_2({\mathcal O})$ is the product of at most $5$ elementary

11: matrices if $K$ has at least one real embedding, the product of at most $6$

12: elementary matrices if $S$ contains a finite place, and the product of at

13: most $7$ elementary matrices in general.

14: \end{abstract}