How Rich is Marvin Hamlisch?