RIP, Marvin Hamlisch