the local Pico oscillator and reference oscill. of GPS system.</span></div>
<div class="line"><a id="l00016" name="l00016"></a><span class="lineno">   16</span><span class="comment">//  The value of the shift is used to correct generated frequency. The practical </span></div>
<div class="line"><a id="l00017" name="l00017"></a><span class="lineno">   17</span><span class="comment">//  precision of this solution depends on GPS receiver&#39;s time pulse stability, </span></div>
<div class="line"><a id="l00018"