<?php
$s1=15;
echo $s1."\t".gettype($s1)."\n";
$s2=15.1;
echo $s2."\t.".gettype($s2)."\n";
$s3=12.16;
echo $s3."\t".gettype($s3)."\n";
$s4="csk";
echo $s4."\t".gettype($s4)."\n";
?>