--- search.module.unpatched	2006-01-06 01:12:14.000000000 +0200
+++ search.module	2006-11-09 14:10:48.000000000 +0200
@@ -667,6 +667,7 @@
   $box .= form_submit(t('Search'));
   $box .= '</div>';
   $output .= form_item($prompt, $box);
+  $output .= form_token();
   $output .= '</div>';
 
   return form($output, 'post', $action);