After executing O1, the document becomes "xabc".
操作O1を実行すると、文書は"xabc"となる。