function insert_quote (str){
	if (document.all("post_txt"))
		document.all("post_txt").value += "[quote]"+str+"[/quote]\n";
}