"song17(t)". . . .