a basic PHP web crawler .