Index: trunk/themes/default2007/platform/inc/script.js
===================================================================
diff -u -N -r8546 -r8586
--- trunk/themes/default2007/platform/inc/script.js	(.../script.js)	(revision 8546)
+++ trunk/themes/default2007/platform/inc/script.js	(.../script.js)	(revision 8586)
@@ -1,4 +1,7 @@
-function update_checkbox(cb, cb_hidden)
-{
+function update_checkbox(cb, cb_hidden) {
 	cb_hidden.value = cb.checked ? 1 : 0;
+}
+
+function redirect($url) {
+	window.location.href = $url;
 }
\ No newline at end of file