document.write( 1712 )