'; } function echo_title() { echo '

Enterprise Resource Management System

'; } function echo_html_end() { echo ' '; } function echo_hr() { echo '
'; } function echo_include_script($filename) { echo ''; } function echo_autogoto($time,$page) { echo ''; } function echo_span_glyph($glyph) { echo ''; } function echo_span_label($style,$text) { echo ''.$text.''; } function echo_alert($style,$text) { echo ''; } ?>