John Williams: happy 82nd birthday, maestro!