Suppose you put in 100 J of work on a lever and get out 93 J of work. How much of the work input is lost as heat?