/public/javascripts/

• ../
• gui.js
• jquery-1.7.2.js
• jquery-1.7.2.min.js