function db_connect($arg1, $arg2, $arg3) {
    if($arg1=="") {
      $val10 = "sa";
    }
    else {
      $val10 = $arg1;
    }
    if($arg2=="") {
      $val14 = "12345";
    }
    else {
      $val14 = $arg2;
    }
    if($arg3=="") {
      $val18 = "workflow";
    }
    else {
      $val18 = $arg3;
    }
    if(!@mysql_connect("proof",$val10,$val14)) {
      die(mysql_error());
    }
    mysql_select_db($val18);
  }

function db_connect( $user='sa', $password='12345', $db='workflow' ){
  mysql_connect( 'proof', $user, $password ) or die( 'I cannot connect to db: ' . mysql_error() );
  mysql_select_db( $db ) or die( "Could not select database" );
}