var admin = (document.getElementsByClassName('admin') || [0])[0];

if (!admin || admin.textContent !== 'Admin') { return; }  // end execution

// get script ID --- this method is 10x faster than admin.href.match(/\d+$/) on Firefox
var scriptID = location.href.substr(location.href.lastIndexOf('/') + 1);