87 113 131 157 207 353 417 491 505 511517