// Called on change by quickEdit drop-down in Page Editor
function quickEdit(page) {
   // Jump to selected page (for editing)
   if ( document.all ) {
      parent.body.location = "modules/page_editor/page_editor.php?currentPage="+page;
   } else {
      parent.body.location = "modules/page_editor/page_editor-ff.php?currentPage="+page;
   }
}