rem: var href = res.handlers.skins.href(); 
add: var href = res.handlers.layout.skins.href(); 
context: Skins.getRedirectUrl = function(data) {   var href = res.handlers.skins.href();   if (data.prototype) {       return href + "#" + data.prototype;   }   return href;};
meta: 993	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/993/a63f1725b33f0e4c3d3257a6bd38df96a5406745/Skins.js/clean/code/Skins/Skins.js