"song12(t)". . . .