Print title page in header of a specific page

I was spelling wrong statement.
This worked fine for me

<?php if (is_page('80') ) { echo get_the_title();}?>

thanks