* number , 0705 , 0706 , 1469 , 2639 , 3793 ,
* taken , 0142 , 0259 , 0353 , 0522 , 0642 , 0782 , 1096 , 1723 ,
1808 , 1869 , 2221 , 2638 , 2639 , 2983 , 3880 , 4014 , 4084 ,
4355 , 4815 , 4912 ,
~~~~~~