document.write( '
\n' ); try { dorando.filter = ".*"+decodeURIComponent(location.search.substring(8).replace(/\+/g,"%20"))+".*"; } catch(err) { dorando.filter = ".*"+unescape(location.search.substring(8))+".*"; } if(dorando.filter!=".*.*")dorando.filter='downloads.search(/'+dorando.filter.replace(/\//g,"\\/")+'/gi)'; else dorando.filter=""; dorando.storage=""; function E(name,homepage) { var downloads=""; for(var i = 2; i <= arguments.length-1; i++) { downloads+=arguments[i]+"Name | Version |
---|