]*)>#', '

', $bookmarks); $bookmarks = preg_replace('#