def revision_number():
    return 5478