session_cache_limiter(private_no_expire); session_cache_expire(30); session_start(); $randnum = mt_rand(); $_SESSION["idnumber"] = $randnum; //fontsizeの設定 $bigfont = 1.08; $smallfont = 0.77; $fontsize = $smallfont; if($_GET["font-size"] == $bigfont)$fontsize = $bigfont; ?>