<?php

define( 'VERSION', 1000 );
 
echo "SUCCESS\n";
echo VERSION;