Johnson's lucky numbers are 491 and 597