document.write (6942);