JSON compiled from JavaScript