as ( g 51537 (7237