/*
	headersearch.js
	input selected words into search box
*/

window.onload = function() {
	// 0.1sec. interval
	setInterval("AutoInput()",100);
}

/*---------------Automatic Input---------------*/
function AutoInput() {
	var search_word;
	if(Prototype.Browser.IE){
		search_word = document.selection.createRange().text;
	}else if(window.getSelection()){
		search_word = window.getSelection()+'';
	}else{
		search_word = document.getSelection()+'';
	};
	if(search_word.length>0){
		$("top_search_text").value= search_word;
	};
}