(format t"~143,'0,' ,8:B"(1+ #36rL96O54KFN6HZ7PT164DQFLJ3))