function scroll_top()
	{
	window.scroll(0, 0);
	}