The following line contains a button that can be pushed. Note that the button does not actually do anything unless JavaScript is used to automate it.