function random_top( ) {
var r ;
var xx = new Array( ) ;

xx.push( '<img src="http://mikle.co.jp/img/top_photo1.jpg" />' ) ;
xx.push( '<img src="http://mikle.co.jp/img/top_photo2.jpg" />' ) ;
xx.push( '<img src="http://mikle.co.jp/img/top_photo3.jpg" />' ) ;
xx.push( '<img src="http://mikle.co.jp/img/top_photo4.jpg" />' ) ;
xx.push( '<img src="http://mikle.co.jp/img/top_photo5.jpg" />' ) ;
xx.push( '<img src="http://mikle.co.jp/img/top_photo6.jpg" />' ) ;
xx.push( '<img src="http://mikle.co.jp/img/top_photo7.jpg" />' ) ;
xx.push( '<img src="http://mikle.co.jp/img/top_photo9.jpg" />' ) ;

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