Whats a lojbanic number for 37512?