function print_document_link($doc_no, $link_text, $link=true, $type_no,
$icon=false, $class='printlink', $id='', $email=0, $extra=0)
{
function print_document_link($doc_no, $link_text, $link=true, $type_no,
$icon=false, $class='printlink', $id='', $email=0, $extra=0)
{