function changePosition(theTop,theLeft) {
	document.getElementById("red_dot_plus").style.top  = theTop + 'px';
	document.getElementById("red_dot_plus").style.left  = theLeft + 'px';
}