--- old/functions.php	2005-07-19 11:32:59.000000000 +0200
+++ new/functions.php	2005-07-19 11:32:47.000000000 +0200
@@ -1343,6 +1343,12 @@
     return $wp_query->is_home;
 }
 
+function is_403 () {
+    global $wp_query;
+
+    return $wp_query->is_403;
+}
+
 function is_404 () {
     global $wp_query;
 
@@ -1642,6 +1648,10 @@
 	return apply_filters("{$type}_template", $template);
 }
 
+function get_403_template() {
+	return get_query_template('403');
+}
+
 function get_404_template() {
 	return get_query_template('404');
 }
@@ -1849,4 +1859,4 @@
 	}	
 }
 
-?>
\ No newline at end of file
+?>