coral stone (164.635)