function random_msg( ) { var r ; var xx = new Array( ) ; // NEWS Right Banner xx.push( '

' ) ; xx.push( '

' ) ; xx.push( '

' ) ; // NEWS Right Banner r = Math.floor( Math.random( ) * xx.length ) ; document.write( xx[r] ) ; }