// JavaScript Document
var timer;
function arrow_move(arrow) {
	var l=0;
	timer=setInterval(function(){
		document.getElementById(arrow).style.marginRight = 5-l+"px";
		document.getElementById(arrow).style.marginLeft = l+"px";
		l--;
		if( l<-6) {
			clearInterval(timer);
			return
		}
	},15);
}
function get_arrow_back(arrow) {
	document.getElementById(arrow).style.marginLeft = "0px";
	document.getElementById(arrow).style.marginRight = "5px";
	clearInterval(timer);
	return;
}