document.write( 1242 )