abc(42)