<?php
function insertMysql($a, $b){

//insert $sql = "INSERT INTO `test`.`trips` (`id`, `tripcode`, `resolved`, `time_inserted`) VALUES (NULL, \'$a\', \'$b\', CURRENT_TIMESTAMP);";

//Search: $sql = "SELECT * FROM `trips` WHERE `tripcode` = \'$a\' AND `resolved` = \'$b\' LIMIT 0, 30 ";
    $mysqlHost="127.0.0.1";
    $mysqlUsername="root";
    $mysqlPassword="aaaaaaaaaaaaaaaa";
    $mysqlDatabase="tripcode";

    mysql_connect($mysqlHost, $mysqlUsername, $mysqlPassword);
    mysql_select_db($mysqlDatabase);

        if($a !="" && $b !=""){
            $result=mysql_query("SELECT * FROM `trips` WHERE `tripcode` = \'$a\' AND `resolved` = \'$b\' LIMIT 0, 30 ");
            mysql_num_rows($result);
            if($result=="0"){
                mysql_query("INSERT INTO `test`.`trips` (`id`, `tripcode`, `resolved`, `time_inserted`) VALUES (NULL, \'$a\', \'$b\', CURRENT_TIMESTAMP);");
            }
        }
}
$file=fopen("a.fixed.txt", "rb");
    while(!feof($file)){
        $line=fgets($file);
        $parts=explode(' : ', $line);

//      echo($parts[0] . " as " . $parts[1] . "<br> <br>");

        insertMysql($parts[0], $parts[1]);

    }




?>