function res()
	{
	history.forward();
    }