// REV Utility Bar
		
		
document.write('<div class="left">');
document.write('<ul><li><a href="http://www.mgic.com/index.html">MGIC.com</a></li></ul>');
document.write('</div>');


document.write('<div class="search">');
document.write('<form id="minisearch" method="get" action="http://search.mgic.com/search" style="display:inline">');
        document.write('<input type="text" name="q" size="15" maxlength="255" value="" style="font-size:.9em;"/>');
       document.write(' <input type="submit" class="searchbtn" name="sbtn" value="Search" onmouseover="this.className=\'btn btnhov\'" onmouseout="this.className=\'searchbtn\'"/>');
        document.write('<input type="hidden" name="site" value="MGIC"/>');
        document.write('<input type="hidden" name="client" value="rev_frontend"/>');
       document.write(' <input type="hidden" name="proxystylesheet" value="rev_frontend"/>');
        document.write('<input type="hidden" name="output" value="xml_no_dtd"/>');
document.write(' </form>');
document.write('</div>');