/* Some standard use functions used on most pages */
/* Separating my javascipts from my HTML files    */

var flash_on = 0;
var debug = 1;

function trace(string_value)
{
  if (debug == 1)
    document.write("<br> ", string_value);
}

function swapImages(ImageName, NewImage)
{
	/* test to see if the browser understands rollovers
	   If it does swap one image for the other */
	   
	if (document.images)
	{
		document[ImageName].src = NewImage;
	}
}


function flash ()
{
        if (flash_on == 0)
           {
           swapImages(flashy_text, "flash_yellow.gif");
           flash_on = 1;
           }
        else {
           swapImages(flashy_text, "flash_black.gif");
           flash_on = 0;
           }  
        setTimeout("flash()",800)    
}