TIkpBN' and 8137=8138--