User:Vagary/monobook.js

// User:Zocky/SearchBox.js document.write(' ');