<?php

/*
# -*- coding: utf-8 -*-
# Numeric conversion 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(
$num==="4476"){
        die(
"no no no!");
    }
    if(
intval($num,0)===4476){
        echo 
$flag;
    }else{
        echo 
intval($num,0);
    }
}