def digit "0123456789"