function back()
{
	history.back();
}