document.write( 5142);