I used the pin numbers as you gave me.
And connected the pin 3 of the LCD to a pot for contrast adjustment.
Code is as follows:
#include <LiquidCrystal.h>
LiquidCrystal lcd(12, 11, 10, 5, 4, 3, 2);
void setup()
{
lcd.print("Hello, world!");
}
void loop() {}
For Hello, world! I get:

And for 1234, I get:

Exatcly the same result as before with LCD 4-BIT library.
Any ides?
M.