function $E(selector, filter){ 
$E = function(selector, filter){ 
function $E(selector, filter){	return ($(filter) || document).getElement(selector);};
7087	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7087/a1cb56167d82a026663562726e55fcc2131844f0/Selectors.js/clean/Compatibility/Selectors/Selectors.js