<?php

/*
# -*- coding: utf-8 -*-
# Simple number filter demo
#
# This page is used for internal PHP
# type-handling training exercises.
#
# Do not modify without approval.

*/


include("flag.php");
highlight_file(__FILE__);

if(isset($_GET['num'])){
    $num = $_GET['num'];
    if(preg_match("/[0-9]/", $num)){
        die("no no no!");
    }
    if(intval($num)){
        echo $flag;
    }
}