12 lines
		
	
	
		
			301 B
		
	
	
	
		
			HTML
		
	
	
	
	
	
			
		
		
	
	
			12 lines
		
	
	
		
			301 B
		
	
	
	
		
			HTML
		
	
	
	
	
	
| <html>
 | |
| <head><base target="main"></head>
 | |
| <body>
 | |
|   <div id="search" style="whitespace:no-wrap;">
 | |
| 		<form action="." method="get">
 | |
| 			<input name="hoogle" id="hoogle" type="text" value="" size="25" maxlength="100" />
 | |
| 			<input id="submit" type="submit" value="Hoogle" />
 | |
| 	</div>
 | |
| </form>
 | |
| </body>
 | |
| </html>
 |