+ $altout_propag = array( array ( 'url' => 'http://www.alternativeoutput.it',
+ 'content' => '<img class="nobo" src="img/altout80x15.png">' ),
+ array ( 'url' => 'http://virtualsky.alternativeoutput.it',
+ 'content' => '<img class="nobo" src="img/virtualsky80x15.png">' )
+ );
+
+ // seed with microseconds since last "whole" second
+ srand ((double) microtime() * 1000000);
+ $randval = rand(0,count($altout_propag)-1);
+ $altout_carousel = sprintf('<a target="_blank" href="%s">%s</a>',
+ $altout_propag[$randval]['url'],
+ $altout_propag[$randval]['content']);
+
+
+$brisk_header_form = '<div class="container">