document.write( 712 )