// Utilities
function setColor( str )
{
	document.getElementById( str ).src = 'images/' + str + '_c.gif';
}

function removeColor( str )
{
	document.getElementById( str ).src = 'images/' + str + '.gif';
}

// End