Post ID if no post title

I think something in the lines of:

(if post_title = ''){
print post_id;
}
else {
print post_title;
}

you know I get the idea but I don’t know how to implement it.

A guess would be in general-template.php, check line 230-234 “If there is a post”

Ah, no luck there. But thanks.