A question about Henmaru Machino...

He always draws the same girl in his pictures. She's some blue haired chick with big tits who on average looks about 15 years old. Anybody know if he gave her a name or will I forever have to refer to her as "that blue haired chick?"

I think her name is Yumiko. Not sure about her full name.