/************************************************************************/
/* Read first ten attributes at the top of the screen                   */
/************************************************************************/

print_10_attr()
        {
        int     i;
        printf("\Attributes read are (in hex): ");
        for (i = 0; i < 10; i++)
                printf("%2X ",read_attribute(0, i));
        }