Add JQuery to the page (for when you need to hack stuff)

addjquery.js

// paste into web console

s = document.createElement('script');
s.setAttribute("type", "text/javascript");
s.setAttribute("src", "http://ajax.googleapis.com/ajax/libs/jquery/1.8.0/jquery.min.js");
document.getElementsByTagName("head")[0].appendChild(s);