In reply to sj1295:
As it's your first rope, doubtless you have big ambitions and want it to be the best you can afford - and why not? When I was starting out, there was a choice of two - 9mm and 11mm - and both came from Jo Royle.
But don't dismiss something like an Edelrid Python 10mm - a tiny bit over a hundred quid for a 60m length from somewhere like Banana Fingers. I bought one as a knock-about rope for places like Morocco and the Pyrenees, and it's done me well; it also stands up pretty well to Cornish granite.
You'd probably have enough left over to make a good start at saving up for a half-rope