discard 12 +                                                                                                                                                                                                                                                                           5
discard 12 + 5