function pasderreur() {
  return true;
}
window.onerror = pasderreur

document.write('\n<table border="0" width="225" cellspacing="0" cellpadding="0">\n  <tr>\n    <td width="100%">\n      <table border="0" width="80%" cellspacing="0" cellpadding="0">\n        <tr>\n          <td width="43%"><b><font size="1" face="Verdana" color="#E0DFE3">search&nbsp;</font></b></td>\n          <td width="57%"><b><font size="1" face="Verdana" color="#E0DFE3"><img border="0" src="http://www.microtech-search.ch/images/powered_by_webci.gif"></font></b></td>\n        </tr>\n      </table>\n    </td>\n  </tr>\n  <tr>\n    <td width="100%" valign="bottom">\n      <form method="get" action="http://www.microtech-search.ch/search.php">\n        <p><input type="text" name="str" size="13" style="font-family: Verdana; font-size: 10 pt"><font face="Verdana" size="1"><select size="1" name="limite" style="font-family: Verdana; font-size: 10 pt">\n                              <option value="10">10</option>\n                              <option value="30" selected>30</option>\n                              <option value="100">100</option>\n                            </select>&nbsp;</font><input type="hidden" name="langue" value="en"><input type="submit" value="Go..." name="search" style="font-family: Verdana; font-size: 10 pt"></p>\n      </form>\n    </td>\n  </tr>\n</table>\n');