"); ?> FCEUX<?php if (isset($title)) { print(": $title"); } ?>

FCEUX