get_string($key); if ($value) return intval($value); return $default; } }