function make_paragraph() {
	var msg = document.getElementById("msg");
	msg.value = msg.value.replace(/\r?\n/g, "\n\n");
}