function swapMenu( id, state, base, prefix, off, on ) {
	var filename = base +'images/'+ prefix + id;
	filename += (state == true ? on : off);
	filename += '.gif';

	var node = document.getElementById( id );
	node.src = filename;
}

function swapImage( id, to ) {
	var node = document.getElementById( id );
	node.src = to;
}