I've got 125mm cranks on that bike and 135mm cranks on another. They are customized by an engineer though. Based on your GF's inseam I think 150mm (or thereabouts) would be good and this size is reasonably common for juvenile bikes. These wont be high quality cranks but they work and they will be cheap.

Anthony