def send_push_notification(token, title, body):
    # Create a message to send to the device
    message = messaging.Message(
        notification=messaging.Notification(
            title=title,
            body=body,
        ),
        token=token,
    )

    # Send the message
    response = messaging.send(message)
    print('Successfully sent message:', response)

# Example usage
device_token = 'your_device_token'
notification_title = 'Hello'
notification_body = 'This is a push notification'
send_push_notification(device_token, notification_title, notification_body)