function empty()
{
	return;	
}