php echo default value if not from database

<?php
echo $sedan ? $sedan:'800'
 ?>