var activate_img		= "g2r.gif";
var deactivate_img	= "r2g.gif";
var flash_img				= "grg.gif";

function activate_arrow(img)
{
	img.src = activate_img;
	return true;
}

function deactivate_arrow(img)
{
	img.src = deactivate_img;
	return true;
}

function flash_arrow(img)
{
	img.src = flash_img;
	return true;
}