$sayi="25";
Yukarıdaki PHP kod satırında verilen $sayi değişkeninin türünü öğrenmek için hangi fonksiyon kullanılmalıdır?