Artur: port number reverted to 12500