17 87 157 209 247 457 477 493505