function scroll(v)
{
	document.getElementById("content").scrollTop = document.getElementById("content").scrollTop + v;
}