About defukdto