document.write (5707);