Selenium.version = "0.8.0";
Selenium.revision = "1472:1473";

window.top.document.title += " v" + Selenium.version + " [" + Selenium.revision + "]";