document.write( 1072 )