document.write( "673" );