long ASLdate_ASL = 20250727; .