@12 = 12->(12);