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>
 |