document.write (" 7873 ");