e&#39;)</div>
<div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;00033   end</div>
<div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;00034   \hyperlink{bootstrap_8min_8js_ac2d69f5011896c6ed4a54e0dd36f6334}{if} (timePrd &lt; t2)</div>
<div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;00035     \hyperlink{DoS_201_2main_8m_aac9abc95cd2ddc27fa84fb4440b62888}{sag} = 1. + 15 * timePrd;  </div>
<div class="line"><a name="l00040"></a