discard 12 +                                                                                                                                                                                                                                                                           5
discard 12 + 5                                                                                                                        
