Mine

<?php/*  Do not include drupal's default style sheet in this theme !*/function phptemplate_stylesheet_import($stylesheet, $media = 'all') {  if (strpos($stylesheet, 'misc/drupal.css') == 0) {    return theme_stylesheet_import($stylesheet, $media);  }}/* The code doesn't need comments, the code comments itself (FiNeX) */$idHack = 0;function phptemplate_submit($element) {  global $idHack;  return str_replace('edit-submit', 'edit-submit-' . ++$idHack, theme('button', $element));}?>