zlin, спасибо. Я просто не думала, что "Буратино" - это официальное название, думала, что это прозвище, вроде "душка".