3456 /* random source */