$rand = mt_rand(0, 16);

$flavs = array('unix_linux_history','linux_unix_history','red_hat_history','ubuntu_history','gnu_history','man_page_history',
'ken_thompson_history','dennis_ritchie_history','linus_torvalds_history','unix_flavors_history','brian_kernighan_history',
 'richard_stallman_history','bill_joy_history','grep_history','awk_history','sed_history','solaris_history');

$flav = $flavs["$rand"];
eval('$history_div_for_users = "' . fetch_template($flav) . '";');