function DUMMY(){
	return true;
}