My version of push.py, no string conversion is needed when using the raw_input function Roger, it does that on its own