Lucky number to keep in pocket at casino