document.write (6442);