Subversion Repositories Kolibri OS

Rev

Rev 5981 | Rev 5985 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed

  1. //HTML Viewer in C--
  2. //Copyright 2007-2013 by Veliant & Leency
  3. //Asper, lev, Lrz, Barsuk, Nable...
  4. //home icon - rachel fu, GPL licence
  5.  
  6. #ifndef AUTOBUILD
  7.         #include "lang.h--"
  8. #endif
  9.  
  10. //libraries
  11. #define MEMSIZE 1060000
  12. #include "..\lib\gui.h"
  13. #include "..\lib\draw_buf.h"
  14. #include "..\lib\list_box.h"
  15. #include "..\lib\cursor.h"
  16. #include "..\lib\collection.h"
  17. #include "..\lib\font.h"
  18.  
  19. //*.obj libraries
  20. #include "..\lib\obj\box_lib.h"
  21. #include "..\lib\obj\libio_lib.h"
  22. #include "..\lib\obj\libimg_lib.h"
  23. #include "..\lib\obj\http.h"
  24. #include "..\lib\obj\iconv.h"
  25. //useful patterns
  26. #include "..\lib\patterns\libimg_load_skin.h"
  27. #include "..\lib\patterns\history.h"
  28.  
  29. char homepage[] = FROM "html\\homepage.htm";
  30.  
  31. #ifdef LANG_RUS
  32.         char version[]=" ’¥ªáâ®¢ë© ¡à ã§¥à 1.40";
  33.         ?define IMAGES_CACHE_CLEARED "Šíè ª à⨭®ª ®ç¨é¥­"
  34.         ?define T_LAST_SLIDE "â® ¯®á«¥¤­¨© á« ©¤"
  35.         char loading[] = "‡ £à㧪  áâà ­¨æë...<br>";
  36.         char page_not_found[] = FROM "html\page_not_found_ru.htm";
  37.         char accept_language[]= "Accept-Language: ru\n";
  38. #else
  39.         char version[]=" Text-based Browser 1.40";
  40.         ?define IMAGES_CACHE_CLEARED "Images cache cleared"
  41.         ?define T_LAST_SLIDE "This slide is the last"
  42.         char loading[] = "Loading...<br>";
  43.         char page_not_found[] = FROM "html\page_not_found_en.htm";
  44.         char accept_language[]= "Accept-Language: en\n";       
  45. #endif
  46.  
  47. #define URL_SERVICE_HISTORY "WebView://history"
  48. #define URL_SERVICE_HOME "WebView://home"
  49. #define URL_SERVICE_SOURCE "WebView://source:"
  50.  
  51. proc_info Form;
  52.  
  53. //char search_path[]="http://nigma.ru/index.php?s=";
  54. int redirected = 0;
  55.  
  56. char stak[4096];
  57.  
  58. int action_buf;
  59.  
  60. dword http_transfer = 0;
  61. dword http_buffer;
  62.  
  63. dword TOOLBAR_H = 33;
  64. dword STATUSBAR_H = 15;
  65. dword col_bg;
  66. dword panel_color;
  67. dword border_color;
  68.  
  69. progress_bar wv_progress_bar;
  70. byte souce_mode = false;
  71.  
  72. enum {
  73.         BACK_BUTTON=1000,
  74.         FORWARD_BUTTON,
  75.         REFRESH_BUTTON,
  76.         GOTOURL_BUTTON,
  77.         SANDWICH_BUTTON
  78. };
  79.  
  80. enum {
  81.         VIEW_SOURCE=1100,
  82.         EDIT_SOURCE,
  83.         VIEW_HISTORY,
  84.         FREE_IMG_CACHE,
  85.         DOWNLOAD_MANAGER
  86. };
  87.  
  88. #include "..\TWB\TWB.c"
  89. #include "menu.h"
  90. #include "history.h"
  91. #include "show_src.h"
  92. #include "network_get.h"
  93. #include "downloader.h"
  94.  
  95. char editURL[sizeof(URL)];
  96. int     mouse_twb;
  97. edit_box address_box = {250,56,34,0xffffff,0x94AECE,0xffffff,0xffffff,0,sizeof(URL),#editURL,#mouse_twb,2,19,19};
  98.  
  99.  
  100. void main()
  101. {
  102.         dword btn;
  103.         int half_scroll_size;
  104.         int scroll_used=0, show_menu;
  105.         CursorPointer.Load(#CursorFile);
  106.         load_dll(boxlib, #box_lib_init,0);
  107.         load_dll(libio, #libio_init,1);
  108.         load_dll(libimg, #libimg_init,1);
  109.         load_dll(libHTTP, #http_lib_init,1);
  110.         load_dll(iconv_lib, #iconv_open,0);
  111.         //load_dll(kmenu, #akmenu_init,0);
  112.         Libimg_LoadImage(#skin, abspath("wv_skin.png"));
  113.         SetSkinColors();
  114.         CreateDir("/tmp0/1/downloads");
  115.         if (param) strcpy(#URL, #param); else strcpy(#URL, URL_SERVICE_HOME);
  116.         WB1.DrawBuf.zoom = 1;
  117.         WB1.list.SetFont(8, 14, 10111000b);
  118.         WB1.list.no_selection = true;
  119.         //font init
  120.         font.no_bg_copy = true;
  121.         font.bg_color   = 0xFFFFFF;
  122.         font.load(DEFAULT_FONT);
  123.         if (!font.data) {
  124.                 notify("'Error: Font is not loaded.' -E");
  125.                 ExitProcess();
  126.         }
  127.         //
  128.         SetEventMask(0xa7);
  129.         BEGIN_LOOP_APPLICATION:
  130.                 WaitEventTimeout(2);
  131.                 switch(EAX & 0xFF)
  132.                 {
  133.                         CASE evMouse:
  134.                                 if (!CheckActiveProcess(Form.ID)) break;
  135.                                 edit_box_mouse stdcall (#address_box);
  136.                                 mouse.get();
  137.                                 if (WB1.list.MouseOver(mouse.x, mouse.y))
  138.                                 {
  139.                                         PageLinks.Hover(mouse.x, WB1.list.first*WB1.list.item_h + mouse.y, link_color_inactive, link_color_active, bg_color);
  140.                                         if (bufsize) && (mouse.pkm) && (mouse.up) { CreateThread(#menu_rmb,#stak+4092); break; }
  141.                                         if (WB1.list.MouseScroll(mouse.vert)) WB1.DrawPage();
  142.                                 }
  143.                                 scrollbar_v_mouse (#scroll_wv);
  144.                                 if (WB1.list.first != scroll_wv.position)
  145.                                 {
  146.                                         WB1.list.first = scroll_wv.position;
  147.                                         WB1.DrawPage();
  148.                                         break;
  149.                                 }
  150.                                 break;
  151.  
  152.                         case evButton:
  153.                                 btn=GetButtonID();
  154.                                 if (btn==1)     ExitProcess();
  155.                                 Scan(btn);
  156.                                 break;
  157.  
  158.                         case evKey:
  159.                                 GetKeys();
  160.                                 if (address_box.flags & 0b10)  
  161.                                 {
  162.                                         if (key_ascii == ASCII_KEY_ENTER) Scan(key_scancode); else
  163.                                         if (key_ascii != 0x0d) && (key_ascii != 183) && (key_ascii != 184) {EAX = key_ascii << 8; edit_box_key stdcall(#address_box);}
  164.                                 }
  165.                                 else
  166.                                 {
  167.                                         Scan(key_scancode);
  168.                                 }
  169.                                 break;
  170.  
  171.                         case evReDraw:
  172.                                 if (action_buf) Scan(action_buf);
  173.                                 DefineAndDrawWindow(GetScreenWidth()-800/2,GetScreenHeight()-600/2,800,600,0x73,col_bg,0,0);
  174.                                 GetProcessInfo(#Form, SelfInfo);
  175.                                 if (Form.status_window>2) { DrawTitle(#header); break; }
  176.                                 if (Form.height<120) { MoveSize(OLD,OLD,OLD,120); break; }
  177.                                 if (Form.width<280) { MoveSize(OLD,OLD,280,OLD); break; }
  178.                                 Draw_Window();
  179.                                 break;
  180.                                
  181.                         case evNetwork:
  182.                                 if (http_transfer > 0) {
  183.                                         http_receive stdcall (http_transfer);
  184.                                         $push EAX
  185.                                         ESI = http_transfer;
  186.                                         wv_progress_bar.max = ESI.http_msg.content_length;
  187.                                         if (wv_progress_bar.value != ESI.http_msg.content_received)
  188.                                         {
  189.                                                 wv_progress_bar.value = ESI.http_msg.content_received; 
  190.                                                 DrawProgress();
  191.                                         }
  192.                                         $pop EAX
  193.                                         if (EAX == 0) {
  194.                                                 ESI = http_transfer;
  195.                                                 // Handle redirects
  196.                                                 if (ESI.http_msg.status >= 300) && (ESI.http_msg.status < 400)
  197.                                                 {
  198.                                                         redirected++;
  199.                                                         if (redirected<=5)
  200.                                                         {
  201.                                                                 http_find_header_field stdcall (http_transfer, "location\0");
  202.                                                                 if (EAX!=0) {
  203.                                                                         ESI = EAX;
  204.                                                                         EDI = #URL;
  205.                                                                         do {
  206.                                                                                 $lodsb;
  207.                                                                                 $stosb;
  208.                                                                         } while (AL != 0) && (AL != 13) && (AL != 10));
  209.                                                                         DSBYTE[EDI-1]='\0';
  210.                                                                 }
  211.                                                         }
  212.                                                         else
  213.                                                         {
  214.                                                                 notify("Too many redirects");
  215.                                                                 StopLoading();
  216.                                                                 break;
  217.                                                         }
  218.                                                 }
  219.                                                 else
  220.                                                 {
  221.                                                         redirected = 0;
  222.                                                 }
  223.                                                 // Loading the page is complete, free resources
  224.                                                 if (redirected>0)
  225.                                                 {
  226.                                                         http_free stdcall (http_transfer);
  227.                                                         http_transfer=0;
  228.                                                         PageLinks.GetAbsoluteURL(#URL);
  229.                                                         History.back();
  230.                                                         strcpy(#editURL, #URL);
  231.                                                         DrawEditBox();
  232.                                                         OpenPage();
  233.                                                 }
  234.                                                 else
  235.                                                 {
  236.                                                         History.add(#URL);
  237.                                                         ESI = http_transfer;
  238.                                                         bufpointer = ESI.http_msg.content_ptr;
  239.                                                         bufsize = ESI.http_msg.content_received;
  240.                                                         http_free stdcall (http_transfer);
  241.                                                         http_transfer=0;
  242.                                                         SetPageDefaults();
  243.                                                         ShowPage();
  244.                                                 }
  245.                                         }
  246.                                 }
  247.                 }
  248.         goto BEGIN_LOOP_APPLICATION;
  249. }
  250.  
  251. void SetElementSizes()
  252. {
  253.         address_box.top = TOOLBAR_H/2-7;
  254.         address_box.width = Form.cwidth - address_box.left - 25 - 22;
  255.         WB1.list.SetSizes(0, TOOLBAR_H, Form.width - 10 - scroll_wv.size_x / WB1.DrawBuf.zoom,
  256.                 Form.cheight - TOOLBAR_H - STATUSBAR_H, WB1.list.font_h + WB1.DrawBuf.zoom + WB1.DrawBuf.zoom * WB1.DrawBuf.zoom);
  257.         WB1.list.wheel_size = 7;
  258.         WB1.list.column_max = WB1.list.w - scroll_wv.size_x / WB1.list.font_w;
  259.         WB1.list.visible = WB1.list.h - 5 / WB1.list.item_h;
  260.         if (WB1.list.w!=WB1.DrawBuf.bufw) WB1.DrawBuf.Init(WB1.list.x, WB1.list.y, WB1.list.w, WB1.list.h * 30);
  261. }
  262.  
  263.  
  264.  
  265. void Draw_Window()
  266. {
  267.         int list__w;
  268.         DrawBar(0,0, Form.cwidth,TOOLBAR_H-2, panel_color);
  269.         DrawBar(0,TOOLBAR_H-2, Form.cwidth,1, 0xD7D0D3);
  270.         DrawBar(0,TOOLBAR_H-1, Form.cwidth,1, border_color);
  271.         SetElementSizes();
  272.         DrawRectangle(address_box.left-3, address_box.top-3, address_box.width+5, 20,border_color);
  273.         DefineButton(address_box.left-50, address_box.top-2, 23, skin.h-2, BACK_BUTTON+BT_HIDE, 0);
  274.         DefineButton(address_box.left-26, address_box.top-2, 23, skin.h-2, FORWARD_BUTTON+BT_HIDE, 0);
  275.         img_draw stdcall(skin.image, address_box.left-51, address_box.top-3, 48, skin.h, 3, 0);
  276.         DefineButton(address_box.left+address_box.width+1, address_box.top-3, 16, skin.h-1, REFRESH_BUTTON+BT_HIDE+BT_NOFRAME, 0);
  277.         DefineButton(Form.cwidth-24, address_box.top-3, 19, skin.h-1, SANDWICH_BUTTON+BT_HIDE, 0);
  278.         img_draw stdcall(skin.image, Form.cwidth-22, address_box.top-3, 16, skin.h, 85, 0);
  279.         DrawBar(0,Form.cheight - STATUSBAR_H, Form.cwidth,STATUSBAR_H, col_bg);
  280.         DrawBar(0,Form.cheight - STATUSBAR_H, Form.cwidth,1, border_color);
  281.         if (!header) OpenPage(); else { WB1.DrawPage(); DrawEditBox(); }
  282.         DrawRectangle(scroll_wv.start_x, scroll_wv.start_y, scroll_wv.size_x, scroll_wv.size_y-1, scroll_wv.bckg_col);
  283.         DrawProgress();
  284.  
  285.         /*
  286.         list__w = 200;
  287.         font.buffer_size = 0;
  288.         font.size.height = 200;
  289.         font.color = 0;
  290.         font.size.text = 11;
  291.         font.prepare_buf(10,10,list__w,font.size.height, "Hello World!");
  292.         font.color = 0xFF00FF;
  293.         font.size.text = 12;
  294.         font.prepare_buf(10,23,list__w,font.size.height, "How are you?");
  295.         font.color = 0x2E74BB;
  296.         font.size.text = 15;
  297.         font.prepare_buf(11,40,list__w,font.size.height, "Fine");
  298.         SmoothFont(font.buffer, font.size.width, font.size.height);
  299.         _PutImage(0,0,list__w,font.size.height,font.buffer);
  300.         */
  301. }
  302.  
  303.  
  304. void Scan(dword id__)
  305. {
  306.         action_buf=0;
  307.         if (WB1.list.ProcessKey(id__)) WB1.DrawPage();
  308.         else switch (id__)
  309.         {
  310.                 case SCAN_CODE_BS:
  311.                 case BACK_BUTTON:
  312.                         if (History.back()) {
  313.                                 strcpy(#URL, History.current());
  314.                                 OpenPage();
  315.                         }
  316.                         return;
  317.                 case FORWARD_BUTTON:
  318.                         if (History.forward()) {
  319.                                 strcpy(#URL, History.current());
  320.                                 OpenPage();
  321.                         }
  322.                         return;
  323.                 case GOTOURL_BUTTON:
  324.                 case SCAN_CODE_ENTER:
  325.                         if (!strncmp(#editURL,"http:",5)) || (editURL[0]=='/') || (!strncmp(#editURL,"WebView:",9))
  326.                         {
  327.                                 strcpy(#URL, #editURL);
  328.                         }
  329.                         else
  330.                         {
  331.                                 strlcpy(#URL,"http://",7);
  332.                                 strcat(#URL, #editURL);
  333.                         }
  334.                         OpenPage();
  335.                         return;
  336.                 case 063: //F5
  337.                         IF(address_box.flags & 0b10) return;
  338.                 case REFRESH_BUTTON:
  339.                         if (http_transfer > 0)
  340.                         {
  341.                                 StopLoading();
  342.                                 Draw_Window();
  343.                         }
  344.                         else OpenPage();
  345.                         return;
  346.                 case SANDWICH_BUTTON:
  347.                         mouse.y = TOOLBAR_H-6;
  348.                         mouse.x = Form.cwidth - 167;
  349.                         CreateThread(#menu_rmb,#stak+4092);
  350.                         return;
  351.                 case VIEW_SOURCE:
  352.                         WB1.list.first = 0;
  353.                         ShowSource();
  354.                         WB1.LoadInternalPage(bufpointer, bufsize);
  355.                         break;
  356.                 case EDIT_SOURCE:
  357.                         if (!strncmp(#URL,"http:",5))
  358.                         {
  359.                                 WriteFile(bufsize, bufpointer, "/tmp0/1/WebView_tmp.htm");
  360.                                 if (!EAX) RunProgram("/rd/1/tinypad", "/tmp0/1/WebView_tmp.htm");
  361.                         }
  362.                         else RunProgram("/rd/1/tinypad", #URL);
  363.                         return;
  364.                 case FREE_IMG_CACHE:
  365.                         ImgCache.Free();
  366.                         notify(IMAGES_CACHE_CLEARED);
  367.                         WB1.DrawPage();
  368.                         return;
  369.                 case VIEW_HISTORY:
  370.                         strcpy(#URL, URL_SERVICE_HISTORY);
  371.                         OpenPage();
  372.                         return;
  373.                 case DOWNLOAD_MANAGER:
  374.                         if (!downloader_opened) {
  375.                                 strlcpy(#DL_URL, "http://",7);
  376.                                 CreateThread(#Downloader,#downloader_stak+4092);
  377.                         }
  378.                         return;
  379.         }
  380. }
  381.  
  382.  
  383. void StopLoading()
  384. {
  385.         if (http_transfer)
  386.         {
  387.                 EAX = http_transfer;
  388.                 EAX = EAX.http_msg.content_ptr;         // get pointer to data
  389.                 $push   EAX                                                     // save it on the stack
  390.                 http_free stdcall (http_transfer);      // abort connection
  391.                 $pop    EAX                                                    
  392.                 free(EAX);                                              // free data
  393.                 http_transfer=0;
  394.                 bufsize = 0;
  395.                 bufpointer = free(bufpointer);
  396.         }
  397.         wv_progress_bar.value = 0;
  398.         img_draw stdcall(skin.image, address_box.left+address_box.width+1, address_box.top-3, 17, skin.h, 52, 0);
  399. }
  400.  
  401. void SetPageDefaults()
  402. {
  403.         strcpy(#header, #version);
  404.         WB1.list.count = WB1.list.first = 0;
  405.         stroka = 0;
  406.         cur_encoding = CH_NULL;
  407.         if (o_bufpointer) o_bufpointer = free(o_bufpointer);
  408.         anchor_line_num=WB1.list.first;
  409.         anchor[0]='|';
  410. }
  411.  
  412. void OpenPage()
  413. {
  414.         StopLoading();
  415.         souce_mode = false;
  416.         strcpy(#editURL, #URL);
  417.         History.add(#URL);
  418.         if (!strncmp(#URL,"WebView:",8))
  419.         {
  420.                 SetPageDefaults();
  421.                 if (!strcmp(#URL, URL_SERVICE_HOME)) WB1.LoadInternalPage(#homepage, sizeof(homepage));
  422.                 else if (!strcmp(#URL, URL_SERVICE_HISTORY)) ShowHistory();
  423.                 DrawEditBox();
  424.                 return;
  425.         }
  426.         if (!strncmp(#URL,"http:",5))
  427.         {
  428.                 img_draw stdcall(skin.image, address_box.left+address_box.width+1, address_box.top-3, 17, skin.h, 131, 0);
  429.                 http_get stdcall (#URL, 0, 0, #accept_language);
  430.                 http_transfer = EAX;
  431.                 if (!http_transfer)
  432.                 {
  433.                         StopLoading();
  434.                         bufsize = 0;
  435.                         bufpointer = free(bufpointer);
  436.                         ShowPage();
  437.                         return;
  438.                 }
  439.         }
  440.         else
  441.         {
  442.                 file_size stdcall (#URL);
  443.                 bufsize = EBX;
  444.                 if (bufsize)
  445.                 {
  446.                         free(bufpointer);
  447.                         bufpointer = malloc(bufsize);
  448.                         SetPageDefaults();
  449.                         ReadFile(0, bufsize, bufpointer, #URL);
  450.                 }
  451.                 ShowPage();
  452.         }
  453. }
  454.  
  455. DrawEditBox()
  456. {
  457.         DrawWideRectangle(address_box.left-2, address_box.top-2, address_box.width+3, 19, 2, address_box.color);
  458.         address_box.size = address_box.pos = address_box.shift = address_box.shift_old = strlen(#editURL);
  459.         address_box.offset = 0;
  460.         edit_box_draw stdcall(#address_box);
  461.         if (http_transfer > 0) EAX = 131; else EAX = 52;
  462.         img_draw stdcall(skin.image, address_box.left+address_box.width+1, address_box.top-3, 17, skin.h, EAX, 0);
  463. }
  464.  
  465.  
  466. void ShowPage()
  467. {
  468.         DrawEditBox();
  469.         if (!bufsize)
  470.         {
  471.                 if (http_transfer) WB1.LoadInternalPage(#loading, sizeof(loading));
  472.                 else WB1.LoadInternalPage(#page_not_found, sizeof(page_not_found));
  473.         }
  474.         else
  475.         {
  476.                 WB1.Prepare();
  477.         }
  478.         //if (!header) strcpy(#header, #version);
  479.         if (!strcmp(#version, #header)) DrawTitle(#header);
  480. }
  481.  
  482. byte UrlExtIs(dword ext)
  483. {
  484.         if (!strcmpi(#URL + strlen(#URL) - strlen(ext), ext)) return true;
  485.         return false;
  486. }
  487.  
  488. int SetSkinColors()
  489. {
  490.         dword image_data;
  491.         image_data = DSDWORD[skin.image+24];
  492.         col_bg = DSDWORD[image_data];
  493.         panel_color  = DSDWORD[skin.w*4*4 + image_data];
  494.         border_color = DSDWORD[skin.w*4*7 + image_data];
  495.         wv_progress_bar.progress_color = DSDWORD[skin.w*4*10 + image_data];
  496.         $and col_bg, 0x00ffffff
  497.         $and panel_color, 0x00ffffff
  498.         $and border_color, 0x00ffffff
  499.         $and wv_progress_bar.progress_color, 0x00ffffff
  500. }
  501.  
  502. void DrawProgress()
  503. {
  504.         unsigned long btn;
  505.         if (http_transfer == 0) return;
  506.         if (wv_progress_bar.max) btn = address_box.width*wv_progress_bar.value/wv_progress_bar.max; else btn = 30;
  507.         DrawBar(address_box.left-2, address_box.top+15, btn, 2, wv_progress_bar.progress_color);
  508. }
  509.  
  510. void ClickLink()
  511. {
  512.         if (http_transfer > 0)
  513.         {
  514.                 StopLoading();
  515.                 History.back();
  516.         }
  517.  
  518.         strcpy(#URL, PageLinks.GetURL(PageLinks.active));      
  519.         //#1
  520.         if (URL[0] == '#')
  521.         {
  522.                 strcpy(#anchor, #URL+strrchr(#URL, '#'));              
  523.                 strcpy(#URL, History.current());
  524.                 WB1.list.first=WB1.list.count-WB1.list.visible;
  525.                 ShowPage();
  526.                 return;
  527.         }
  528.         //liner.ru#1
  529.         if (strrchr(#URL, '#')!=-1)
  530.         {
  531.                 strcpy(#anchor, #URL+strrchr(#URL, '#'));
  532.                 URL[strrchr(#URL, '#')-1] = 0x00;
  533.         }
  534.        
  535.         PageLinks.GetAbsoluteURL(#URL);
  536.        
  537.         if (UrlExtIs(".png")==1) || (UrlExtIs(".gif")==1) || (UrlExtIs(".jpg")==1) || (UrlExtIs(".zip")==1) || (UrlExtIs(".kex")==1)
  538.         || (UrlExtIs(".7z")==1) || (UrlExtIs("netcfg")==1)
  539.         {
  540.                 //notify(#URL);
  541.                 if (!strncmp(#URL,"http://", 7))
  542.                 {
  543.                         strcpy(#DL_URL, #URL);
  544.                         CreateThread(#Downloader,#downloader_stak+4092);
  545.                 }
  546.                 else RunProgram("@open", #URL);
  547.                 strcpy(#editURL, History.current());
  548.                 strcpy(#URL, History.current());
  549.                 return;
  550.         }
  551.         if (!strncmp(#URL,"mailto:", 7))
  552.         {
  553.                 notify(#URL);
  554.                 strcpy(#editURL, History.current());
  555.                 strcpy(#URL, History.current());
  556.                 return;
  557.         }
  558.         OpenPage();
  559.         return;
  560. }
  561.  
  562.  
  563. char downloader_stak[4096];
  564. stop: