 use the 
    function below<br>
</div>
<pre><span id="VALnewline"><span class="keyword">val</span> newline</span> : <code class="type">unit -> unit</code></pre><pre><span id="VALnewHline"><span class="keyword">val</span> newHline</span> : <code class="type">unit -> unit</code></pre><pre><span id="VALgetPosition"><span class="keyword">val</span> getPosition</span> : <code class="type">unit -> int * string * int</code></pre><pre><span id="VALgetHPosition"><span class="keyword">val</span> getHPosition</span> 