function usmini(){document.write("<div id=\"b_top\">");document.write("<div class=\"th\">");document.write("<div id=\"b_topct\" style=\"height:51px;\"><form action=\"/zoek/\" method=\"post\">");document.write("<div style=\"float:left;margin-top:8px;\"><b style=\"font-size:12px; margin:0px;padding:0px;margin-right:10px;\">zoek:</b></div>");document.write("<div style=\"float:left;margin-right:8px;margin-top:5px;\"><input name=\"input_s\" type=\"text\" id=\"input_s\"></div>");document.write("<div style=\"float:left;margin-top:3px;\"><input name=\"btnSearch\" type=\"image\" src=\"http://cache.allebedrijveninnederland.nl/_media/img/top_searchbtn.png\" alt=\"vind!\" width=\"81\" height=\"23\" border=\"0\"></div>");document.write("</form></div>");document.write("</div></div>");}