function random_msg( ) { var r ; var xx = new Array( ) ; xx.push( '

' ) ; xx.push( '

' ) ; xx.push( '

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