function setStyle(elementID, bg_color, tx_color)
  {
   var bg_default = "#ffffff";			// Background color White (default).
   var tx_default = "#000000";			// Text color Black (default).

   // Define the number of parameters passed to the JavaScript function.
   var number_of_parameters = setStyle.arguments.length;

   if(number_of_parameters == 1)
     { 
      // If the background and text colors have not been supplied, use the default colors.
      bg_color = bg_default;
      tx_color = tx_default;
     }
   else if(number_of_parameters == 2)
          { 
           // If the text color has not been supplied, use the default text color.
           tx_color = tx_default;
          }

   if(document.getElementById)
     {
      // Prefer the widely supported W3C DOM method, if available.
      document.getElementById(elementID).style.background = bg_color;
      document.getElementById(elementID).style.color      = tx_color;
     }
   else if(document.all)
          {
           // Branch to use document.all on document.all only browsers. Requires that
	   // IDs are unique to the page and do not coincide with NAME attributes on
	   // other elements.
	   document.all[elementID].style.background = bg_color;
	   document.all[elementID].style.color      = tx_color;
	  }
  }