HEADER1; if(isset($custom_header)) { echo $custom_header; } $login = $logged_in ? '
Logout
' : '
Login
'; echo <<
GregoBase
A database of gregorian scores
Scores
Participate
Todo
About
$login
HEADER2; ?>