// JavaScript Document
function changeText2(input, output){
	var userInput = document.getElementById(input).value;
	userInput = userInput.replace(/\n/gi, "<br>");
	document.getElementById(output).innerHTML = userInput;
}


var startX = 3,	startY = 3;
var curY = startY;
var destY = curY;
var timerID, ton = 0;

function initMenu()
{
  var el = document.getElementById("floating_menu");
  el.style.left = startX;
  el.style.top = startY;
}

function floatMenu()
{
  clearInterval(timerID);
  ton = 0;
  var py = document.body.scrollTop;
  destY = py + startY;
  startFloat();
}

function startFloat()
{
  var el = document.getElementById("floating_menu");
el.style.top = destY;
}