#!/usr/local/bin/php
<?php
  print_r("433.1" > "443" ? "true" : "false");
?>