awkの方がよさげに見えたけど"の分でperlだった。

print<><1200?ABC:ARC