function empty()
{
	return;
}