// library: HTML: Divider: Common (filenamemacro=divicomm.js) [kn, ni, mo, 22-09-2003 17:55:21]
function PROCDividerCommon( s ) {
  document.write( '<P ALIGN="left">' );
  document.write( "<IMG" );
  document.write( '  ALT=""' );
  document.write( '  BORDER="0"' );
  document.write( '  HEIGHT="8"' );
  if ( s != "" ) {
   document.write( '  SRC="' + s + 'divider - index - riviera-rental.gif"' );
  }
  document.write( '  style=width:' + 0.935 * screen.width + "px" );
  document.write( ">" );
  document.write( "</P>" );
}