/************************************************************************/
/* Display 'Hello' in a single line box                                 */
/************************************************************************/

boxed_hello()
        {
        static char line1[] = {218,196,196,196,196,196,196,196,191,0};
        static char line2[] = {179,' ','H','e','l','l','o',' ',179,0};
        static char line3[] = {192,196,196,196,196,196,196,196,217,0};
        write_string(10, 35, line1);    /* Display top of the box       */
        write_string(11, 35, line2);    /* Display middle of the box    */
        write_string(12, 35, line3);    /* Display bottom of the box    */
        }