--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/wp-content/themes/thematic/searchform.php	Fri Mar 12 13:29:04 2010 +0000
@@ -0,0 +1,6 @@
+<?php
+    
+    // calls the search form
+	thematic_search_form();
+    
+?>
\ No newline at end of file