document.write( 1256 )