Dear Thomas:
I thank The Lord Jesus for your kind response to my inquiry. The 411, as well as your response, was good, and I appreciate it. I resolved the problem I was having by changing the favicon name to favicon_7 in the theme's html document. I also renamed the favicon that I wanted to favicon_7. The following statement illustrates the changed code: (I suppose the name could have been any name as long as the file and link names corresponded).
<
-Charles
link rel="shortcut icon" href="<?php echo $CFG->wwwroot.'/theme/'.current_theme() ?>/favicon_7.ico" />