@@ -0,0 +1 @@
+/* reserved */
@@ -0,0 +1,5 @@
+function initPage1() {
+}
+
+function destroyPage1() {
+function initPage3() {
+function destroyPage3() {
+function initPage4() {
+function destroyPage4() {
+function initPage5() {
+function destroyPage5() {
+function initPage6() {
+function destroyPage6() {
+function initPage7() {
+function destroyPage7() {
+function initPage8() {
+function destroyPage8() {