Apparently, push() is not part of IE 5. Anyone have any ideas how I could work around this?