document.write( 1247 )