This is an old revision of the document!
* a random() function http://www.w3.org/mid/201110121453.21097.bert@w3.org