<?php /** * @return string Generated ID. */ function generateID() { // Generate id based on the current microtime $id = str_replace('.', '', microtime(true)); // Ensure that the id has a length of 14 chars while(strlen($id)<14) $id .= 0; // Return id as a string. Don't convert the id to an integer // as 14 digits are too big for 32bit PHP versions. return $id; } ?>