// Load prototype only if not loaded yet
(function(){
	if((typeof Prototype=='undefined') || 
	       (typeof Element == 'undefined') || 
	       (typeof Element.Methods=='undefined'))
	{
		var libraryName = "/javascript/prototype-1.6.0.2b.js";
		var patchLibraryName = "/javascript/prototype-extensions-1.6.0.2b.js";
		document.write('<script type="text/javascript" src="'+libraryName+'"><\/script>');
		document.write('<script type="text/javascript" src="'+patchLibraryName+'"><\/script>');
	}
})();