function $w(string){ 
function $w(string) { 
function $w(string){  string = string.strip();  return string ? string.split(/\s+/) : [];}
6462	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6462/504ddcbe796d50bebfce56e8823e38e30e0e7aeb/prototype.js/buggy/wp-includes/js/scriptaculous/prototype.js