PHP uuid implementation