// pne.js

function pne_url2a(url){var urlstr=url.replace("&","&");if(urlstr.length>57){urlstr=urlstr.substr(0,57)+'...';}
urlstr=urlstr.replace("&","&amp;");document.write('<a href="'+url+'" target="_blank">'+urlstr+'</a>');}

// Selection.js

function Selection(textareaElement){this.element=textareaElement;}
Selection.prototype.create=function(){if(document.selection!=null&&this.element.selectionStart==null){return this._ieGetSelection();}else{return this._mozillaGetSelection();}}
Selection.prototype._mozillaGetSelection=function(){return{start:this.element.selectionStart,end:this.element.selectionEnd};}
Selection.prototype._ieGetSelection=function(){this.element.focus();var range=document.selection.createRange();var bookmark=range.getBookmark();var contents=this.element.value;var originalContents=contents;var marker=this._createSelectionMarker();while(contents.indexOf(marker)!=-1){marker=this._createSelectionMarker();}
var parent=range.parentElement();if(parent==null||parent.type!="textarea"){return{start:0,end:0};}
range.text=marker+range.text+marker;contents=this.element.value;var result={};result.start=contents.indexOf(marker);contents=contents.replace(marker,"");result.end=contents.indexOf(marker);this.element.value=originalContents;range.moveToBookmark(bookmark);range.select();return result;}
Selection.prototype._createSelectionMarker=function(){return"##SELECTION_MARKER_"+Math.random()+"##";}

// dupblock.js

// 全フォームのsubmitを無効化する
var disableForms = function() {
	var forms = document.forms;
	for(var i=0; i<forms.length; i++){
		var form = forms[i];

		// onsubmitイベントを差し替える
		// 2度目のsubmitは、この関数が呼ばれる
		// submitは不許可
		form.onsubmit = function(){
			alert("しばらくお待ちください。");
			return false;
		}
	}

	// 時間がかかっているのをシミュレートするためのreturn
	// 実際は使いません。
	//return false;

/*
	// 1度目はsubmitを許可
	if(form.class == "always_false"){
		return false;
	} else {
		return true;
	}
*/
	return true;
}

// ページ読み込み後に、全フォームに対してdisableFormsをセットする

{
  (function(){
	var observeForms = function(){
		var forms = document.forms;
		for(var i=0; i<forms.length; i++){
			var form = forms[i];
				form.onsubmit = disableForms;
		}
	}
    Event.observe(window, "load", observeForms, false);
  })();
}