Whats a lojbanic number for 51?