different comment.php

how can i add a different comment.php to a single post. if it is post ID 4 i want it be comment4.php and all other single posts will me normal comment php.

<? if ($post->ID != 4) {
comment4.php
} else { ?>
comment.php
<? } ?>

when i do that, there is syntax error :S