Colorations by 2527