wordpress change title of page code example

Example: wordpress echo the page title

<?php echo get_the_title(post->$ID); ?>